Cited By
View all- Adams MGriffis EPorter TSatish SZhao EOmar C(2025)Grove: A Bidirectionally Typed Collaborative Structure Editor CalculusProceedings of the ACM on Programming Languages10.1145/37049099:POPL(2176-2204)Online publication date: 9-Jan-2025
- Prinz JBlanchette HLampropoulos L(2025)Pantograph: A Fluid and Typed Structure EditorProceedings of the ACM on Programming Languages10.1145/37048649:POPL(802-831)Online publication date: 9-Jan-2025
- Bennetzen BKristensen NMortensen ASteffensen PEngtorp SHüttel HAllais GLiu Y(2025)A Type Safe Calculus for Generating Syntax-Directed EditorsProceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3704253.3706140(30-42)Online publication date: 10-Jan-2025
- Show More Cited By