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
6 days 6 hours ago
6 days 9 hours ago
6 days 9 hours ago
23 weeks 14 hours ago
27 weeks 2 days ago
28 weeks 6 days ago
28 weeks 6 days ago
31 weeks 4 days ago
36 weeks 1 day ago
36 weeks 2 days ago