Alonzo
Church

UCLA (MathTree)






Robert
Harper

Carnegie Mellon

Umut A.
Acar

Carnegie Mellon
(Options)

Umut AcarX