Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Realistic compilation by program transformation (detailed summary)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compilation of functional languages by program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Compiling with continuations
Two-level functional languages
Two-level functional languages
Reasoning about programs in continuation-passing style.
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Back to direct style II: first-class continuations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
ESOP'92 Symposium proceedings on 4th European symposium on programming
Thunks: a way of compiling procedure statements with some comments on procedure declarations
Communications of the ACM
Continuation Semantics in Typed Lambda-Calculi (Summary)
Proceedings of the Conference on Logic of Programs
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Rabbit: A Compiler for Scheme
Proceedings of the ACM SIGPLAN Workshop on Continuations CW92
Proceedings of the ACM SIGPLAN Workshop on Continuations CW92
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing Nested Loops Using Local CPS Conversion
Higher-Order and Symbolic Computation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Journal of Functional Programming
Compiling self-adjusting programs with continuations
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
| Hi-index | 0.00 |