The Thoralf plugin: for your fancy type needs
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 106-118
- https://doi.org/10.1145/3299711.3242754
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Key monad: type-safe unconstrained dynamic typingPublished by Association for Computing Machinery (ACM) ,2016
- Safe zero-cost coercions for HaskellJournal of Functional Programming, 2016
- A typechecker plugin for units of measure: domain-specific constraint solving in GHC HaskellPublished by Association for Computing Machinery (ACM) ,2015
- Improving Haskell types with SMTPublished by Association for Computing Machinery (ACM) ,2015
- Promoting functions to type families in HaskellPublished by Association for Computing Machinery (ACM) ,2014
- Experience reportPublished by Association for Computing Machinery (ACM) ,2014
- 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
- Generalized, efficient array decision proceduresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Associated type synonymsPublished by Association for Computing Machinery (ACM) ,2005