archives

Type systems for acyclic terms

I've been looking for type systems which guarantee that terms are acyclic, in a context with mutability, of course. Any references? Thoughts?

By marco at 2018-02-08 04:14 | LtU Forum | 4 comments | other blogs | 3377 reads