Type-driven defunctionalization
- 1 August 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 32 (8) , 25-37
- https://doi.org/10.1145/258949.258953
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A higher-order removal methodHigher-Order and Symbolic Computation, 1996
- Substitution: A formal methods case study using monads and transformationsScience of Computer Programming, 1994
- Software design for reliability and reusePublished by Association for Computing Machinery (ACM) ,1994
- Definitional interpreters for higher-order programming languagesPublished by Association for Computing Machinery (ACM) ,1972