Full abstraction and semantic equivalence

A fully abstract semantics for a first-order functional language with logic variables

ACM Transactions on Programming Languages and Systems (TOPLAS)

Taming the Y operator

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Observable sequentiality and full abstraction

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A relational account of call-by-value sequentiality

Information and Computation - Special issue: LICS'97

A stable programming language

Information and Computation

Typed closure conversion preserves observational equivalence

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

A stable programming language

Information and Computation

Enforcing semantics-aware security in multimedia surveillance

Journal on Data Semantics II