Types are calling conventions. - Maximilian C. Bolingbroke; Simon L. Peyton Jones (Haskell, 2009)

Supercompilation by evaluation. - Maximilian C. Bolingbroke; Simon L. Peyton Jones (Haskell, 2010)

Ypnos: declarative, parallel structured grid programming. - Dominic A. Orchard; Max Bolingbroke; Alan Mycroft (DAMP, 2010)

Termination combinators forever. - Maximilian C. Bolingbroke; Simon L. Peyton Jones; Dimitrios Vytiniotis (Haskell, 2011)

Supercompilation for call-by-need languages. - Maximilian C. Bolingbroke (2013)