1. Engineering meta-languages for specifying software languages (keynote);Mosses,2017
2. Ada—the project: The DoD high order language working group;Whitaker,1993
3. The Definition of Standard ML;Harper,1990
4. The Definition of Standard ML (Revised);Milner,1997
5. A history of Haskell: Being lazy with class;Hudak,2007