Oskar Eriksson -

Registered user since Wed 28 Jun 2023

Name:Oskar Eriksson

Country:Sweden

Affiliation:Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden

GitHub: https://github.com/oskeri

Contributions

2026

ICFP

Author of An Agda Formalization of "On Recursion in Graded Modal Type Theory" within the ICFP Artifacts-track
Author of On Recursion in Graded Modal Type Theory within the ICFP Papers-track

2023

ICFP

Author of A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized within the ICFP Papers and Events-track
Author of An Agda Formalization of a Graded Dependent Type Theory with a Universe and Erasure within the Artifact Evaluation-track