• Sign in
  • Sign up
conf.researchr.org / Oskar Eriksson
  • ICFP 2023 profile
No Photo

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
Share
xFri 23 May 00:11
using conf.researchr.org (v1.69.0)
Support page
Sign Up