A Type Safe DOM API
DOM API に対する型システムの提案。Java の型システムを拡張する形で定義。属性ノードは高々一つの要素に属するとか、要素と属性は同じドキュメントに由来するとか、そういった制約を型付け規則として記述する。意味も定義して健全性が示されている。
author="Peter Thiemann",
title="{A Type Safe DOM API}",
booktitle="DBPL 2005",
publisher="Springer",
volume="3774",
series="LNCS",
pages="169--183",
year="2005"