Publication
Modification algebras
Publication
A modular fully-lazy lambda lifter in Haskell
Publication
Average Case Complexity
Publication
Evolving Algebras: An Introductory Tutorial
Publication
Zero-One Laws
Publication
Unboxed values as first class citizens
Publication
Automatic Reconfiguration in Autonet
Publication