A categorical and graphical treatment of closure conversion (1999)

by Ralf Schweimeier, Alan Jeffrey
Venue:In Proc. MFPS 15