Functional Compilation from the Standard ML Core Language to Lambda Calculus. - Nick Rothwell (Functional Programming, 1991)

Cassiel: symbolic pulse sequencing. - Nick Rothwell (Digit. Creativity, 2003)

The Life Project. - Camille Baker; Fiona French; Evan S. Raskob; Nick Rothwell (EVA, 2012)

Sketching by Programming in the Choreographic Language Agent. - Luke Church; Nick Rothwell; Marc Downie; Scott DeLahunta; Alan F. Blackwell (PPIG, 2012)