henk(ID:3565/hen002)

for Dutch computer scientist Henk Barendregt

typed intermediate language based closely on a particular pure type system, the lambda cube

Simon Peyton Jones and Erik Meijer 1997
References:
  • Simon Peyton Jones and Erik Meijer, "Henk: a typed intermediate language" Types in Compilation Workshop ICFP, 1997. view details
    Resources