𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - NixOS

✍ Scribed by Dolstra, Eelco; Löh, Andres

Book ID
121188346
Publisher
ACM Press
Year
2008
Weight
394 KB
Category
Article
ISBN
1595939199

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press Proceeding of the 13th ACM SI
[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Defunctionalized interpreters for programming languages
✍ Danvy, Olivier 📂 Article 📅 2008 🏛 ACM Press ⚖ 223 KB

This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each other. These transformations were foreshadowed b