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
ICFP/SPLASH 2025 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
Not registered as user
Name:
Nils Anders Danielsson
Country:
Sweden
Affiliation:
University of Gothenburg
Contributions
2025
TyDe
Author of A Formalization of Opaque Definitions for a Dependent Type Theory within the TyDe 2025-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
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
Mon 22 Sep 07:23