Publication
Evolving Algebras and Linear Time Hierarchy
Publication
Call-by-need and Continuation-passing Style
Publication
Distributed Shared Object Memory
Publication
AMAST’91 Banquet Talk
Publication
The Case for Run-Time Replaceable Kernel Modules
Publication
Factoring an Adequacy Proof (Preliminary Report)
Publication