An operational semantics for R5RS Scheme

[1]  John D. Ramsdell.  An operational semantics for Scheme , 1992, LIPO.

[2]  William D. Clinger.  Proper tail recursion and space efficiency , 1998, PLDI.

[3]  Mark Lillibridge,et al.  Explicit polymorphism and CPS conversion , 1993, POPL '93.

[4]  Robert Hieb,et al.  The Revised Report on the Syntactic Theories of Sequential Control and State , 1992, Theor. Comput. Sci..

[5]  Matthias Felleisen,et al.  A Syntactic Approach to Type Soundness , 1994, Inf. Comput..

[6]  Matthias Neubauer,et al.  Down with Emacs Lisp: dynamic scope analysis , 2001, ICFP '01.

[7]  Daniel P. Friedman,et al.  Constraining control , 1985, POPL.

[8]  David Herman,et al.  Improving the static analysis of embedded languages via partial evaluation , 2004, ICFP '04.

[9]  Robert Muller,et al.  M-LISP: a representation-independent dialect of LISP with reduction semantics , 1992, TOPL.

[10]  Matthias Felleisen,et al.  A Programmer's Reduction Semantics for Classes and Mixins , 1999, Formal Syntax and Semantics of Java.

[11]  Matthias Felleisen,et al.  The semantics of future and an application , 1999, Journal of Functional Programming.

[12]  Matthew Flatt,et al.  PLT MzScheme: Language Manual , 2000 .

[13]  John H. Reppy,et al.  Concurrent programming in ML , 1999 .

[14]  Richard A. Kelsey,et al.  How to Add Threads to a Sequential Language Without Getting Tangled Up , 2003 .

[15]  Matthias Felleisen,et al.  A Visual Environment for Developing Context-Sensitive Term Rewriting Systems , 2004, RTA.