Cited By
View all- Abergel RMoisan L(2020)Algorithm 1006ACM Transactions on Mathematical Software10.1145/336598346:1(1-24)Online publication date: 11-Mar-2020
- Astrauskas VMüller PPoli FSummers A(2019)Leveraging rust types for modular specification and verificationProceedings of the ACM on Programming Languages10.1145/33605733:OOPSLA(1-30)Online publication date: 10-Oct-2019
- Rapoport MLhoták O(2019)A path to DOT: formalizing fully path-dependent typesProceedings of the ACM on Programming Languages10.1145/33605713:OOPSLA(1-29)Online publication date: 10-Oct-2019
- Show More Cited By