Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the orthogonality of assignments and procedures in Algol
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Compilation and equivalence of imperative objects
Journal of Functional Programming
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming
The call-by-need lambda calculus
Journal of Functional Programming
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
Irho: An imperative rewriting calculus
Mathematical Structures in Computer Science
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Diagrams for meaning preservation
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Inverse scope as metalinguistic quotation in operational semantics
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
The call-by-need lambda calculus, revisited
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
From stack traces to lazy rewriting sequences
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
True small-step reduction for imperative object oriented languages
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
| Hi-index | 5.23 |