Publication
Strictness Logic and Polymorphic Invariance
Publication
No Assembly Required: Compiling Standard ML to C
Publication
SUIT: The simple user interface toolkit
Publication