Publication
Explicit Network Scheduling
Publication
The undecidability of aliasing
Publication
Evolving Algebras and Partial Evaluation
Publication
Lazy functional state threads
Publication
Logic Activities in Europe
Publication