"Programming in Higher-Order Typed Lambda-Calculi" Pierce, Dietzen, Michaylov CMU-CS-89-111 March 10, 1989 ERRATA Revised Aug 17, 1991 at 13:54 Ask me.