1. On understanding types, data abstraction, and polymorphism
2. and , Commentary on Standard ML, The MIT Press, Cambridge, MA, 1991.
3. and , The Definition of Standard ML, The MIT Press, Cambridge, MA, 1990.
4. Paul Hudak (ed.), Simon Peyton Jones (ed.), Philip Wadler (ed.), Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain and John Peterson, ‘Report on the programming language Haskell: A non-strict, purely functional language, version 1.2’, ACM SIGPLAN Notices, 27, (5), Section R (1992).
5. , Programming in ADA, Addison-Wesley, Reading, MA, 1982.