User loginNavigation |
archivesType systems for acyclic termsI've been looking for type systems which guarantee that terms are acyclic, in a context with mutability, of course. Any references? Thoughts? |
Browse archivesActive forum topics
|
Recent comments
14 weeks 5 days ago
19 weeks 4 hours ago
20 weeks 4 days ago
20 weeks 4 days ago
23 weeks 2 days ago
27 weeks 6 days ago
27 weeks 6 days ago
28 weeks 2 days ago
28 weeks 2 days ago
31 weeks 1 day ago