@InProceedings{Kahl-1998d,
  author       = {Wolfram Kahl},
  title        = {Internally Typed Second-Order Term Graphs},
  year         = 1998,
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  volume       = {1517},
  pages        = {149--163},
  editor       = {Juraj Hromkovi{\v{c}} and Ondrej S{\'y}kora},
  booktitle    = {Graph Theoretic Concepts in Computer Science,
		  {24th International Workshop, WG '98, Smolenice Castle,
		  Slovak Republic, June 1998, Proceedings}},
  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
              $\lambda$-calculi and systems of dependent types.
              Applications can be found in interactive systems and as
              typed intermediate representation for example in compilers.}
}