Type specialisation for the lambda calculus (1996)

by John Hughes
Venue:Partial Evaluation, number 1110 in Lecture Notes in Computer Science, Dagstuhl