R.B.: An operational semantics for Scheme (2007)

by Jacob Matthews , Robert Bruce Findler
Venue:Journal of Functional Programming
Citations:4 - 0 self

Active Bibliography

Under consideration for publication in J. Functional Programming 1 An Operational Semantics for Scheme – Jacob Matthews, Robert Bruce Findler
doi:10.1017/S0956796807006478 1 An operational semantics for Scheme 1 – Jacob Matthews, Robert Bruce Findler
Abstract An operational semantics for R 5 RS Scheme – Jacob Matthews
THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF – Jacob Matthews
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
269 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994