A Leaner Specification for GADTs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. A Leaner Specification for GADTs. In Peter Achten, Pieter W. M. Koopman, Marco T. Morazán, editors, Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008. Volume 9 of Trends in Functional Programming, pages 65-80, Intellect, 2008.

The following publications are possibly variants of this publication:

A lean specification for GADTs: system F with first-class equality proofsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. lisp, 23(2):145-166, 2010. [doi]

runs on WebDSL