The Revised Report on the Syntactic Theories of Sequential Control and State (1992)

by Matthias Felleisen , Robert Hieb
Venue:THEORETICAL COMPUTER SCIENCE
Citations:284 - 36 self

Documents Related by Co-Citation

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
985 A theory of type polymorphism in programming – Robin Milner - 1978
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
773 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1153 Actors: A Model of Concurrent Computation in Distributed Systems – G Agha - 1986
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
760 Types and Programming Languages – Benjamin C Pierce - 2002