Henk: A typed intermediate language (1997)

by S L Peyton Jones, E Meijer
Venue:In Proc. First Int'l Workshop on Types in Compilation