Suggesting valid hole fits for typed-holes (experience report)
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 179-185
- https://doi.org/10.1145/3299711.3242760
Abstract
No abstract availableKeywords
Funding Information
- Stiftelsen för Strategisk Forskning (RIT17-0023)
This publication has 5 references indexed in Scilit:
- Programming in HaskellPublished by Cambridge University Press (CUP) ,2016
- Program synthesis from polymorphic refinement typesACM SIGPLAN Notices, 2016
- Refinement types for HaskellPublished by Association for Computing Machinery (ACM) ,2014
- Complete completion using types and weightsPublished by Association for Computing Machinery (ACM) ,2013
- Jungloid miningPublished by Association for Computing Machinery (ACM) ,2005