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
9 weeks 5 days ago
14 weeks 11 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago