Parametric Types for Typed Attribute-Value Logic Gerald Penn author 1998 text COLING 1998 Volume 2: The 17th International Conference on Computational Linguistics conference publication penn-1998-parametric https://aclanthology.org/C98-2164/ 1998