𝔖 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 - Quotient lenses

✍ Scribed by Foster, J. Nathan; Pilkiewicz, Alexandre; Pierce, Benjamin C.

Book ID
121001259
Publisher
ACM Press
Year
2008
Weight
362 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