A Leaner Specification for Generalized Algebraic Data Types
A. Middelkoop, A. Dijkstra, and S. D. Swierstra
2008
In Proceedings of The Ninth Symposium on Trends in Functional Programming
Details
| Type | Inproceedings |
| Pages | 65–81 |
| Series | 9 |
Related Labs
Share
