Cited By
View all- Hallahan WXue APiskac REisenberg R(2019)G2Q: Haskell constraint solvingProceedings of the 12th ACM SIGPLAN International Symposium on Haskell10.1145/3331545.3342590(44-57)Online publication date: 8-Aug-2019
- Hallahan WXue ABland MJhala RPiskac RMcKinley KFisher K(2019)Lazy counterfactual symbolic executionProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314618(411-424)Online publication date: 8-Jun-2019
- Dougherty J(2018)MATH COUNTSA higher (order) calling, not yet answeredACM Inroads10.1145/32392569:3(16-17)Online publication date: 15-Aug-2018
- Show More Cited By