Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nils Anders Danielsson
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
Not registered as user yet
Name:
Nils Anders Danielsson
Country:
Sweden
Affiliation:
University of Gothenburg
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
2022
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
2021
CPP
Committee Member in Program Committee within the CPP 2021-track
2020
TyDe
Author of Practical Dependent Type Checking Using Twin Types within the TyDe 2020-track
Committee Member in Program Committee within the TyDe 2020-track
2019
POPL
Committee Member in Program Committee within the Research Papers-track
2018
Haskell
Committee Member in Program Committee within the Haskell 2018-track
POPL
Author of Up-to Techniques Using Sized Types within the Artifact Evaluation-track
Author of Up-to Techniques Using Sized Types within the Research Papers-track
Share
x
Thu 21 Nov 11:43