Henk a typed intermediate language
Simon Peyton Jones
University of Glasgow and Oregon Graduate Institute
Erik Meijer
University of Utrecht and Oregon Graduate Institute
May
Abstract accurate compile time types and the compiler can check its
own activity if desired by checking the type correctness of
the intermediate program We elab orate each of these p oints
There is growing interest in the use of richly typed interme
in Section
diate languages in sophisticated compilers for higher order
typed source languages These intermediate languages are
This pap er describ es the design of a new typed intermediate
typically strati ed involving terms types and kinds As
language Henk designed for compilers for purely functiona l
the sophisticati on of the type system increases these three
languages It has the following distinctive features
levels b egin to lo ok more and more similar so an attractive
approach is to use a single syntax and a single data type in