Staged Notational Definitions
Abstract elided by the publisher.
Related papers
- Tagless staged interpreters for typed languages ICFP 2002
- A Flexible Notation for Syntactic Definitions TOPLAS 1982
- Three equivalent ordinal notation systems in cubical Agda CPP 2020
- Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages SLE 2017
- Compiling symbolic execution with staging and algebraic effects OOPSLA 2020
- A New Notation for Arrows ICFP 2001
- Parallel programming with big operators PPoPP 2013
- De Bruijn Notation as a Nested Datatype JFP 1999