Author

Oskar Eriksson

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

On Recursion in Graded Modal Type Theory

We present a graded modal type theory with recursion over natural numbers and prove formally in Agda that it handles resources correctly, in the sense that an abstract machine accesses resources the “correct” number of times. The theory is parametrized, and can for instance be instantiated with grades for erasure, line...

Oskar Eriksson, Andreas Abel, N. Danielsson · Proc. ACM Program. Lang. · 0 citations