<?xml version="1.0" standalone="yes"?>
<Paper uid="P98-2169">
  <Title>Parametric Types for Typed Attribute-Value Logic</Title>
  <Section position="8" start_page="1032" end_page="1032" type="concl">
    <SectionTitle>
7 Conclusion
</SectionTitle>
    <Paragraph position="0"> This paper presents a formal definition of parametric type hierarchies and signatures, extending (Car92)'s logic to the parametric case through equivalent induced non-parametric signatures. It also extends appropriateness to the common practice of giving the binding of parametric type variables scope over appropriate value restrictions.</Paragraph>
    <Paragraph position="1"> Two formalizations of the notion of expressive equivalence for typed feature structures are also provided. While the question of ~s-equivalence remains to be solved, a weaker notion can be used to establish a practical result for understanding what parametric types actually contribute to the case of HPSG's type signature. A general method for generating sub-signatures is outlined, which, in the case of parametric type signatures, can be used to process with signatures that even have infinite equivalent induced signatures, avoiding equivalent encoding problems altogether.</Paragraph>
    <Paragraph position="2"> Parametric type compilation is currently being implemented for ALE using the method literature to date.</Paragraph>
    <Paragraph position="3"> given in Section 6.</Paragraph>
  </Section>
class="xml-element"></Paper>