Cited By
View all- Letan TRégis-Gianas YBlanchette JHriţcu C(2020)FreeSpec: specifying, verifying, and executing impure computations in CoqProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3372885.3373812(32-46)Online publication date: 20-Jan-2020
- Chang SBallantyne MTurner MBowman W(2019)Dependent type systems as macrosProceedings of the ACM on Programming Languages10.1145/33710714:POPL(1-29)Online publication date: 20-Dec-2019
- Grewe SErdweg SPacak AMezini MSabel DThiemann P(2018)System DescriptionProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming10.1145/3236950.3236960(1-10)Online publication date: 3-Sep-2018
- Show More Cited By