Publication
A New Implementation of the Icon Language
Publication
Lightweight Extensible Records for Haskell
Publication
Non-Dependent Types for Standard ML Modules
Publication
Calling Hell from Heaven and Heaven from Hell
Publication