Haskell Type Constraints Unleashed
- 1 January 2010
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Haskell Type Constraints UnleashedLecture Notes in Computer Science, 2010
- Monadic constraint programmingJournal of Functional Programming, 2009
- Type checking with open type functionsACM SIGPLAN Notices, 2008
- Finally Tagless, Partially EvaluatedPublished by Springer Science and Business Media LLC ,2007
- Understanding functional dependencies via constraint handling rulesJournal of Functional Programming, 2007
- Associated type synonymsPublished by Association for Computing Machinery (ACM) ,2005
- Associated types with classACM SIGPLAN Notices, 2005
- Type Classes with Functional DependenciesLecture Notes in Computer Science, 2000