User loginNavigation |
archivesDefunctionalization+Refunctionalization+Expression ProblemInteresting 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. |
Browse archivesActive forum topics |
Recent comments
1 day 15 hours ago
1 day 19 hours ago
1 day 19 hours ago
22 weeks 3 days ago
26 weeks 4 days ago
28 weeks 2 days ago
28 weeks 2 days ago
30 weeks 6 days ago
35 weeks 4 days ago
35 weeks 4 days ago