Cited By
View all- Eisenberg RDuboc GWeirich SLee D(2021)An existential crisis resolved: type inference for first-class existential typesProceedings of the ACM on Programming Languages10.1145/34735695:ICFP(1-29)Online publication date: 19-Aug-2021
- Cong YLeo JQuick DWinograd-Cort D(2019)Demo: counterpoint by constructionProceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design10.1145/3331543.3342578(22-24)Online publication date: 23-Aug-2019
- Gissurarson M(2018)Suggesting valid hole fits for typed-holes (experience report)ACM SIGPLAN Notices10.1145/3299711.324276053:7(179-185)Online publication date: 17-Sep-2018
- Show More Cited By