2 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
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…