Publication
Algorithm + Strategy = Parallelism
Publication
Dynamic Typing By Staged Type Inference
Publication
PARallel Database Engine (Parade) Final Report
Publication
BIT: A Tool for Instrumenting Java Bytecodes
Publication
A transformation-based optimiser for Haskell
Publication
From Invariants to Canonization
Publication