Peyton Jones, Simon

Email Address
ORCID
Disciplines
Research Projects
Organizational Units
Position
Introduction
Research Interests

Filters

20131
1
1
Reset filters

Settings

Search Results

Now showing 1 - 1 of 1
  • Publication
    Closed Type Families With Overlapping Equations (Extended Version)
    (2013-11-15) Eisenberg, Richard A.; Vytiniotis, Dimitrios; Peyton Jones, Simon; Weirich, Stephanie
    Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although practically useful and simple to implement, these features go beyond conventional dependent type theory in some respects, and have a subtle metatheory.