Modular denotational semantics for compiler construction
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 219-234
- https://doi.org/10.1007/3-540-61055-3_39
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Combining MonadsPublished by Springer Nature ,1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- The essence of functional programmingPublished by Association for Computing Machinery (ACM) ,1992
- Reasoning about programs in continuation-passing style.Published by Association for Computing Machinery (ACM) ,1992
- A short proof of the lexical addressing algorithmInformation Processing Letters, 1990
- Comprehending monadsPublished by Association for Computing Machinery (ACM) ,1990
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- A semantic prototyping systemACM SIGPLAN Notices, 1984
- A basic Abstract Semantic AlgebraPublished by Springer Nature ,1984