A simple solution to type specialization (1998)

by Olivier Danvy
Venue:Proceedings of ICALP ’98, number 1443 in Lecture Notes in Computer Science