Tagless Final Encoding - Algebras, and Interpreters, and also Programs

[philipschwarz]

An introduction, through the work of Gabriel Volpe - 16 slides.

Tagless Final Encoding - Algebras and Interpreters and also Programs