From what program is valof defunctionalized?
We use defunctionalization as program transformation, and see defunctionalized aka data-structure representations as a product of these. But we almost always...
Recent posts
Closure Conversion and Lambda Lifting
If you’ve always wanted to know about closure conversion and lambda lifting, here you go!
Representation Independence Procedure
The procedure for making programs representation independent can be confusing. But here is a programmatic way to transform programs into a representation ind...