Internally Typed Term Graphs

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.

Wolfram Kahl --- 24 February 1999