People

• Samson Abramsky
• Ilaria Castellani
• Peter Dybjer
• Christian Haack
• Robert Harper
• Matthew Hennessy
• Radha Jagadeesan
• Alan Jeffrey
• Dexter Kozen
• Dave MacQueen
• Luke Ong
• Benjamin Pierce
• Andrew Pitts
• Gordon Plotkin
• John Reppy
• David Schmidt
• Peter Selinger
• Philip Wadler