ramsdell@celebes.mitre.org (John D. Ramsdell) (03/12/91)
Has anyone developed a formal semantics for a Scheme implementation using the Natural Semantics which is faithful to the denotational definition given in R3RS? The Natural Semantics has been used to specify SML, and you can look at an article in 1986 L&FP by Domininque Clement, Joelle Despeyroux, Thierry Despeyroux, and Gilles Kahn called "A Simple Applicative Language: Mini-ML" for an example of its use. I am particularly interested in how call-with-current-continuation is specified. John