Work

Simple unification-based type inference for GADTs

Year: 2006

Type: conference-paper

Source: ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/1159803.1159811

Authors: Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Institutions: Microsoft Research (United Kingdom), University of Pennsylvania

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2140647971

FWCI: 19.89

Cites: 25

Cited by: 338

Related to: 10