A portable mechanism for thread persistence and migration (mobile agent)

Serialization of Distributed Execution-State in Java

NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World

Continuations from generalized stack inspection

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

Fine-grained interoperability through mirrors and contracts

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Defunctionalized interpreters for call-by-need evaluation

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation

Theoretical Computer Science