Cited By
View all- Cacciari Miraldo VCarr HMoir MSilva LSteele Jr. GHriţcu CPopescu A(2021)Formal verification of authenticated, append-only skip lists in AgdaProceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3437992.3439924(122-136)Online publication date: 17-Jan-2021
- Miraldo VSwierstra W(2019)An efficient algorithm for type-safe structural diffingProceedings of the ACM on Programming Languages10.1145/33417173:ICFP(1-29)Online publication date: 26-Jul-2019