# 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)

## Abstract

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*