• Published 1997

Henk : a typed intermediate languageSimon

@inproceedings{JonesUniversity1997HenkA,
  title={Henk : a typed intermediate languageSimon},
  author={Peyton JonesUniversity},
  year={1997}
}
  • Peyton JonesUniversity
There is growing interest in the use of richly-typed intermediate languages in sophisticated compilers for higher-order, typed source languages. These intermediate languages are typically stratiied, involving terms, types, and kinds. As the sophistication of the type system increases, these three levels begin to look more and more similar, so an attractive approach is to use a single syntax, and a single data type in the compiler, to represent all three. The theory of so-called pure type… CONTINUE READING

References

Publications referenced by this paper.

The FLINT compiler system," Presentation

Z Shao
  • 1996
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL