Recent posts

From what program is valof defunctionalized?

less than 1 minute read

We use defunctionalization as program transformation, and see defunctionalized aka data-structure representations as a product of these. But we almost always...

Representation Independence Procedure

less than 1 minute read

The procedure for making programs representation independent can be confusing. But here is a programmatic way to transform programs into a representation ind...