222 followers
@VictorTaelin The principle is similar to specializing a specializer in Futamura projections. The paper's intro is here: https://t.co/9jm7irCGLh
@VictorTaelin The principle is similar to specializing a specializer in Futamura projections. The paper's intro is here: https://t.co/9jm7irCGLh
@vamchale The following isn’t a tutorial, but is a good read, and has lots of useful references. https://t.co/4DgOA6p700