H ? « ‹ ← → › »

Language peer sets for henk:
Netherlands↑
Netherlands/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

henk(ID:3565/hen002)

alternate simple view
Country: Netherlands
Designed 1997

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, (1997) Simon Peyton Jones and Erik Meijer, "Henk: a typed intermediate language" Types in Compilation Workshop ICFP, 1997.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder