Cited By
View all- Crichton WKrishnamurthi S(2024)A Core Calculus for Documents: Or, Lambda: The Ultimate DocumentProceedings of the ACM on Programming Languages10.1145/36328658:POPL(667-694)Online publication date: 5-Jan-2024
- Schwartzentruber JPientka B(2023)Semi-Automation of Meta-Theoretic Proofs in BelugaElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.396.3396(20-35)Online publication date: 17-Nov-2023
- Gaulin APientka B(2023)Contextual Refinement TypesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.396.2396(4-19)Online publication date: 17-Nov-2023
- Show More Cited By