- GPCE-2015-ReyndersDP #api #bound #generative
- Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
- ECOOP-2014-ScherrC #staging
- Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.
- PEPM-2013-SulzmannNZ #abstraction #correctness #traceability
- Traceability and evidence of correctness of EDSL abstractions (MS, JNF, AZ), pp. 71–74.
- The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.