Higher order operational techniques in semantics

Improvement in a lazy context: an operational theory for call-by-need

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

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Representation independence, confinement and access control [extended abstract]

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Stack inspection: theory and variants

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Possibilities and limitations of call-by-need space improvement

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Erratic fudgets: a semantic theory for an embedded coordination language

Science of Computer Programming - Special issue on coordination languages and architectures

Stack inspection: Theory and variants

ACM Transactions on Programming Languages and Systems (TOPLAS)

Unique Fixed Point Induction for McCarthy's Amb

MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science

Semantic types: a fresh look at the ideal model for types

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Program equivalence in a linear functional language

Journal of Functional Programming

Compilation and equivalence of imperative objects

Journal of Functional Programming

Bisimilarity for the Region Calculus

Higher-Order and Symbolic Computation

Ownership confinement ensures representation independence for object-oriented programs

Journal of the ACM (JACM)

Generative unbinding of names

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

A complete, co-inductive syntactic theory of sequential control and state

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

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

A complete, co-inductive syntactic theory of sequential control and state

Semantics and algebraic specification

Names, Equations, Relations: Practical Ways to Reason about new

Fundamenta Informaticae