A Principled Approach to Operating System Construction in Haskell (2005)

Object-oriented programming: Some history, and challenges for the next 50 years

Spreadsheets: Functional Programming for the Masses (2014)

The Theory of Relational Databases (1983)

Mental processes of chess masters revealed how people get good in other fields

Classes Considered Harmful

Interview with Bill Joy (1984)

Computer-Intensive Methods in Statistics (1983) [pdf]