collaborators

1 paper

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…