A realistic compiler generator based on high-level semantics: another progress report
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the use of LISP in implementing denotational semantics
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Action semantics in retrospect
Semantics and algebraic specification
Order-sorted parameterization and induction
Semantics and algebraic specification
Action algebras and model algebras in denotational semantics
Semantics and algebraic specification
An action semantics based on two combinators
Semantics and algebraic specification
Vertical object layout and compression for fixed heaps
Semantics and algebraic specification
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |