Stem edsl$ (all stems)

4 papers:

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.

CEFP-2013-DevaiLT

The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.