Skip to main content
Article thumbnail
Location of Repository

Polytypic Programming

By J.T. Jeuring and P. Jansson


Many functions have to be written over and over again for different datatypes, either because datatypes change during the development\ud of programs, or because functions with similar functionality are needed on\ud different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc.\ud Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user-defined datatypes.\ud This paper introduces polytypic functions, and shows how to construct and\ud reason about polytypic functions. A larger example is studied in detail: poly-typic functions for term rewriting and for determining whether a collection\ud of rewrite rules is normalising

Topics: Wiskunde en Informatica
Publisher: Springer
Year: 1996
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.