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
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
ICFP 2022
Committee Member in Program Committee within the ICFP Papers and Events-track
CPP 2021
Committee Member in Program Committee within the CPP 2021-track
TyDe 2020
Author of Practical Dependent Type Checking Using Twin Types within the TyDe 2020-track
Committee Member in Program Committee within the TyDe 2020-track
POPL 2019
Committee Member in Program Committee within the Research Papers-track
Haskell 2018
Committee Member in Program Committee within the Haskell 2018-track
POPL 2018
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 8 Jun 04:52