Parametric types for typed attribute-value logic

Gerald Penn
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
more » ... n to the type system for ALE (CP96). Following (Car92), the concern here is not with models of feature terms themselves, but with how to compute with parametric types, and what different kinds of information one can represent relative to a signature with parametric types, than relative to a signature without them. This enquiry has yielded a more flexible interpretation of parametric types with several specific properties necessary to conform to their current usage by linguists and implementors who work with feature-based formalisms.
doi:10.3115/980691.980738 dblp:conf/acl/Penn98 fatcat:xvhyg3gxcbdllpvmhyjqg5pmbq