Publication
Lightweight Extensible Records for Haskell
Publication
Non-Dependent Types for Standard ML Modules
Publication
Putting Language into Language Modeling
Publication
Calling Hell from Heaven and Heaven from Hell
Publication