The essence of rum: a theory of the intensional and extensional aspects of lisp-type computation (program transformation, closure, continuation structure, comparison-relation)

&lgr;-V-CS: an extended &lgr;-calculus for scheme

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Intensions and extensions in a reflective tower

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Reasoning with continuations II: full abstraction for models of control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

From SOS rules to proof principles: an operational metatheory for functional languages

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A foundation for actor computation

Journal of Functional Programming

Selected AI-related dissertations

ACM SIGART Bulletin

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages

Two PhD students for the price of one

Formal modeling