Type variables in patterns
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 94-105
- https://doi.org/10.1145/3299711.3242753
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (1319880, 1521539, 1704041)
This publication has 8 references indexed in Scilit:
- Pattern synonymsPublished by Association for Computing Machinery (ACM) ,2016
- Injective type families for HaskellPublished by Association for Computing Machinery (ACM) ,2015
- Closed type families with overlapping equationsPublished by Association for Computing Machinery (ACM) ,2014
- OutsideIn(X)Modular type inference with local assumptionsJournal of Functional Programming, 2011
- Complete and decidable type inference for GADTsPublished by Association for Computing Machinery (ACM) ,2009
- System F with type equality coercionsPublished by Association for Computing Machinery (ACM) ,2007
- Practical type inference for arbitrary-rank typesJournal of Functional Programming, 2007
- Associated types with classPublished by Association for Computing Machinery (ACM) ,2005