Publication
Alice: Easy to Use Interactive 3D Graphics
Publication
Implicit typing `a la ML for the join-calculus
Publication
A Structured Language Model
Publication
Formal verification of FIRE: A case study.
Publication