%0 Conference Paper %1 conf/birthday/Danvy09 %A Danvy, Olivier %B Semantics and Algebraic Specification %D 2009 %E Palsberg, Jens %I Springer %K dblp %P 162-185 %T Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. %U http://dblp.uni-trier.de/db/conf/birthday/mosses2009.html#Danvy09 %V 5700 %@ 978-3-642-04163-1

@inproceedings{conf/birthday/Danvy09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Danvy, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/289c29c3aeb08b8991ba51c1c70847a66/dblp}, booktitle = {Semantics and Algebraic Specification}, crossref = {conf/birthday/2009mosses}, editor = {Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-642-04164-8_9}, interhash = {f315cf6e6dc89090a896a7004c33e043}, intrahash = {89c29c3aeb08b8991ba51c1c70847a66}, isbn = {978-3-642-04163-1}, keywords = {dblp}, pages = {162-185}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:23.000+0200}, title = {Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mosses2009.html#Danvy09}, volume = 5700, year = 2009 }