Partial Type Signatures for Haskell
- 1 January 2014
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Giving Haskell a promotionPublished by Association for Computing Machinery (ACM) ,2012
- OutsideIn(X)Modular type inference with local assumptionsJournal of Functional Programming, 2011
- HMFACM SIGPLAN Notices, 2008
- Practical type inference for arbitrary-rank typesJournal of Functional Programming, 2007
- Simple, partial type-inference for System F based on type-containmentACM SIGPLAN Notices, 2005