Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler (PDF, via Lambda): We describe a new approach to domain specific languages (DSLs), called Quoted DSLs (QDSLs), that resurrects two old ideas: quotation, from McCarthy’s Lisp of 1960, and the subformula property, from Gentzen’s natural deduction of 1935. Quoted terms allow the DSL to share the … Continue reading Quoted Domain Specific Languages