Trust in the l-calculus (1997)

by P ��rb��k, J Palsberg
Venue:Journal of Functional Programming