Miscellaneous
- Gerrit van den Geest. Constraints for Type Class Extensions. Master's thesis, Utrecht University, April 2007. Keyword(s): type systems.
- Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren, and S. Doaitse Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Note: Rejected by ICFP '07, 2007.
BACK TO INDEX