Nordic Journal of Computing Bibliography

Tarmo Uustalu and Varmo Vene. Mendler-Style Inductive Types, Categorically. Nordic Journal of Computing, 6(3):343-361, Fall 1999.
Abstract

We present a basis for a category-theoretic account of Mendler-style inductive types. The account is based on suitably defined concepts of Mendler-style algebra and algebra homomorphism; Mendler-style inductive types are identified with initial Mendler-style algebras. We use the identification to obtain a reduction of conventional inductive types to Mendler-style inductive types and a reduction in the presence of certain restricted existential types of Mendler-style inductive types to conventional inductive types.

Categories and Subject Descriptors: D.1.1 [Programming Techniques]: Applicative (Functional) Programming; D.3.3 [Programming Languages]: Language Constructs and Features; F.3.3 [Logics and Meanings of Programs]: Studies of Program Constructs; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic

Additional Key Words and Phrases: inductive types, initial algebras, prefixed points, Mendler-style, typed functional programming, categorical program calculation

Selected papers that cite this one

Selected references


Shortcuts:

  • Nordic Journal of Computing homepage
  • Bibliography top level
  • Nordic Journal of Computing Author Index
  • Search the HBP database