Journal Article

Objects to Unify Type Classes and GADTs

  • Oliveira B
  • Sulzmann M
Comlab.Ox.Ac.Uk (2008) 1-17
N/ACitations
Citations of this article
32Readers
Mendeley users who have this article in their library.

Abstract

Abstract We propose an Haskell-like language with the goal of unifying and generalized algebraic datatypes ( ) into a single construct. We treat as first- and we use (instead of instances and data constructors) to define the

Cite

CITATION STYLE

APA

Oliveira, B., & Sulzmann, M. (2008). Objects to Unify Type Classes and GADTs. Comlab.Ox.Ac.Uk, 1–17. Retrieved from http://www.comlab.ox.ac.uk/people/Bruno.Oliveira/objects.pdf

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free