Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme 

• Type: Conference
• Year: 2009
• Where: BIRTHDAY
• Authors: Olivier Danvy
• Keywords: Applied Computing, BIRTHDAY 2009, ISSN, Olivier Danvy BRICS, Series RS-08-7