A Leaner Specification for Generalized Algebraic Data Types

A. Middelkoop, A. Dijkstra, and S. D. Swierstra

Details

Publication typeInproceedings
Published inProceedings of The Ninth Symposium on Trends in Functional Programming
Pages65–81
Series9
> Publications > A Leaner Specification for Generalized Algebraic Data Types