Contribuyó significativamente al diseño de los lenguajes Haskell y XQuery.

Científico de la computación estadounidense radicado en el Reino Unido especializado en informática teórica.