Oskar Eriksson -

Registered user since Wed 28 Jun 2023

Name:Oskar Eriksson

Country:Sweden

Affiliation:Chalmers and Gothenburg University

Contributions

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