2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2016
Trees That Grow
Shayan Najd, Simon Peyton Jones
We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax trees with additional sets of information. We observed…
cs.PL2016
Embedding by Normalisation
Shayan Najd, Sam Lindley, Josef Svenningsson +1
This paper presents the insight that practical embedding techniques, commonly used for implementing Domain-Specific Languages, correspond to theoretical Normalisation-By-Evaluation…
cs.PL2015★ 2 cited
Everything old is new again: Quoted Domain Specific Languages
Shayan Najd, Sam Lindley, Josef Svenningsson +1
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 subformu…