3 works on record
The optimal implementation of functional programming languages
1998
Categories, types, and structures
1991
Mathematical Knowledge Management