Henk: a Typed Intermediate Language (1997)

by S L Peyton Jones, E Meijer
Venue:In Types in Compilation Workshop