A Leaner Specification for Generalized Algebraic Data Types

In  Proceedings of The Ninth Symposium on Trends in Functional Programming

Details

TypeInproceedings
Pages65–81
Series9
> Publications > A Leaner Specification for Generalized Algebraic Data Types