The geometry of optimal lambda reduction (1992)

by Georges Gonthier, Mart́ın Abadi, Jean-Jacques Lévy
Venue:In Proc. Nineteenth POPL