Olivier Danvy A Simple Solution to Type Specialization. 908-917 https://doi.org/10.1007/BFb0055112 1998 conf/icalp/1998 ICALP db/conf/icalp/icalp98.html#Danvy98