@inproceedings{penn-1998-parametric,
    title = "Parametric Types for Typed Attribute-Value Logic",
    author = "Penn, Gerald",
    booktitle = "{COLING} 1998 Volume 2: The 17th International Conference on Computational Linguistics",
    year = "1998",
    url = "https://preview.aclanthology.org/fix-sig-urls/C98-2164/"
}