External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Leaner Specification for GADTs

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.

Authors

Arie Middelkoop

This author has not been identified. Look up 'Arie Middelkoop' in Google

Atze Dijkstra

This author has not been identified. Look up 'Atze Dijkstra' in Google

S. Doaitse Swierstra

Identified as S. Doaitse Swierstra
runs on