Cited By
View all- Stump AJenkins CSpahn SMcDonald C(2020)Strong functional pearl: Harper’s regular-expression matcher in CedilleProceedings of the ACM on Programming Languages10.1145/34090044:ICFP(1-25)Online publication date: 3-Aug-2020
- Melkonian OQuick DWinograd-Cort D(2019)Music as language: putting probabilistic temporal graph grammars to good useProceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design10.1145/3331543.3342576(1-10)Online publication date: 23-Aug-2019
- Allais GChapman JMcBride CMcKinna JBertot YVafeiadis V(2017)Type-and-scope safe programs and their proofsProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs10.1145/3018610.3018613(195-207)Online publication date: 16-Jan-2017
- Show More Cited By