@mastersthesis{Hoetmer1,
  author = "Kenneth Hoetmer",
  title = "Higher-order types for grammar engineering",
  school = "Department of Computer Science, University of Toronto",
  month = "March",
  year = "2005",
  abstract = "Linguistically precise general-purpose grammars of natural language enable a
              detailed semantic analysis that is currently unavailable to corpus-based
              approaches. Unfortunately, the engineering of such grammars is often tedious,
              time-consuming, error-prone, and inaccessible to new developers.  This work
              seeks to alleviate the engineering problem by discovering, documenting, and
              exploiting structural patterns of current grammar signatures.  More
              specifically, it mines the English Resource Grammar (ERG) for evidence of
              intended patterns of type usage and documents those patterns within the
              framework of Alexandrian design patterns.  The structural patterns are then
              exploited by way of parametric types, special higher-order type constructors,
              and methods for automatic type selection. The applicability of the patterns is
              illustrated by ICEBERG, a higher-order refactoring of the ERG."
}