Normalization by Evaluation and Algebraic Effects

Danel Ahman, Sam Staton. Normalization by Evaluation and Algebraic Effects. Electronic Notes in Theoretical Computer Science, 298:51-69, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.