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