Cited By
View all- Omar CVoysey IHilton MAldrich JHammer M(2017)Hazelnut: a bidirectionally typed structure editor calculusACM SIGPLAN Notices10.1145/3093333.300990052:1(86-99)Online publication date: 1-Jan-2017
- Omar CVoysey IHilton MAldrich JHammer MCastagna GGordon A(2017)Hazelnut: a bidirectionally typed structure editor calculusProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009900(86-99)Online publication date: 1-Jan-2017
- Gabbay MMulligan D(2009)Two-level Lambda-calculusElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.07.018246(107-129)Online publication date: 1-Aug-2009
- Show More Cited By