Theory and practice of sequential algorithms: the kernel of the applicative language CDS

Observable sequentiality and full abstraction

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

Sequential algorithms, deterministic parallelism, and intensional expressiveness

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A Linear Logical View of Linear Type Isomorphisms

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic