𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the ACM SIGPLAN workshop - Victoria, BC, Canada (2008.09.20-2008.09.20)] Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08 - Bialgebra views

✍ Scribed by Nogueira, Pablo; Moreno-Navarro, Juan José

Book ID
115529328
Publisher
ACM Press
Year
2008
Weight
353 KB
Volume
0
Category
Article
ISBN
1605580600

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