Cited By
View all- Graf SPeyton Jones SScott R(2020)Lower your guards: a compositional pattern-match coverage checkerProceedings of the ACM on Programming Languages10.1145/34089894:ICFP(1-30)Online publication date: 3-Aug-2020
- COCKX JABEL A(2020)Elaborating dependent (co)pattern matching: No pattern left behindJournal of Functional Programming10.1017/S095679681900018230Online publication date: 21-Jan-2020
- Cockx JAbel A(2018)Elaborating dependent (co)pattern matchingProceedings of the ACM on Programming Languages10.1145/32367702:ICFP(1-30)Online publication date: 30-Jul-2018
- Show More Cited By