Wolfram Kahl
pp. 149-163 in
Juraj Hromkovic, Ondrej Sýkora: Graph Theoretic Concepts in Computer Science,
24th International Workshop, WG '98, Smolenice Castle,
Slovak Republic, June 1998, Proceedings,
LNCS
1517, Springer-Verlag
(.bib, .ps.gz, .pdf)
We present a typing concept for second-order term graphs that does not consider the types as an external add-on, but as an integral part of the term graph structure. This allows a homogeneous treatment of term-graph representations of many kinds of typing systems, including second-order λ-calculi and systems of dependent types. Applications can be found in interactive systems and as typed intermediate representation for example in compilers.
Also refer to the HOPS home page.