Defunctionalization+Refunctionalization+Expression Problem

Interesting paper which suggests you can solve the expression problem by defunctionalizing, converting data to codata and refunctionalizing (and vice versa). Suggests that the function type is a special case of codata with a single destructor.

## Recent comments

3 days 18 hours ago

5 days 13 hours ago

2 weeks 2 days ago

3 weeks 1 day ago

4 weeks 1 day ago

5 weeks 6 days ago

6 weeks 2 days ago

7 weeks 3 days ago

7 weeks 6 days ago

8 weeks 2 hours ago