Publication
Typed Abstract State Machines
Publication
Statistical models of visual shape and motion
Publication
The New GHC/Hugs Runtime System
Publication
A Variation on the Zero-One Law
Publication
Algorithm + Strategy = Parallelism
Publication