A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Parametric types for typed attribute-value logic
1998
Proceedings of the 36th annual meeting on Association for Computational Linguistics -
Parametric polymorphism has been combined with inclusional polymorphism to provide natural type systems for Prolog (DH88), HiLog (YFS92), and cofistraint resolution languages (Smo89), and, in linguistics, by HPSG-tike grammars to classify lists and sets of linguistic objects (PS94), and by phonologists in representations of hierarchical structure (Kle91). This paper summarizes the incorporation of parametric types into the typed attribute-value logic of (Car92), thus providing a natural
doi:10.3115/980691.980738
dblp:conf/acl/Penn98
fatcat:xvhyg3gxcbdllpvmhyjqg5pmbq