Henk: A typed intermediate language (1997)

by Simon Peyton Jones, Erik Meijer
Venue:In Proceedings of the Types in Compilation Workshop