Cited By
View all- Ciccone LPadovani LGabbrielli MAbel ACheney J(2020)A Dependently Typed Linear π-Calculus in AgdaProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming10.1145/3414080.3414109(1-14)Online publication date: 8-Sep-2020
- Weirich SChoudhury PVoizard AEisenberg R(2019)A role for dependent types in HaskellProceedings of the ACM on Programming Languages10.1145/33417053:ICFP(1-29)Online publication date: 26-Jul-2019
- Tomé Cortiñas CSwierstra WEisenberg RVazou N(2018)From algebra to abstract machine: a verified generic constructionProceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3240719.3241787(78-90)Online publication date: 27-Sep-2018
- Show More Cited By