All Questions
Tagged with termination universe
1
question
10
votes
1
answer
249
views
Universe inconsistency as an effect
The Internet tells me there is some work on languages that permit general recursion but carry information about possible divergence in the type system. For instance, the simply-typed language Koka ...