Cited By
View all- Slagel JMoscato MWhite LMuñoz CBalachandran SDutle A(2024)Embedding Differential Dynamic Logic in PVSElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.402.7402(43-62)Online publication date: 23-Apr-2024
- Winterhalter T(2024)Dependent Ghosts Have a Reflection for FreeProceedings of the ACM on Programming Languages10.1145/36746478:ICFP(630-658)Online publication date: 15-Aug-2024
- Malewski MMaillard KTabareau NTanter É(2024)Gradual Indexed Inductive TypesProceedings of the ACM on Programming Languages10.1145/36746448:ICFP(544-572)Online publication date: 15-Aug-2024
- Show More Cited By