CUFinder

Nils Anders Danielsson

Nils Anders Danielsson

Göteborgs universitet

H-index: 18

Europe-Sweden

About Nils Anders Danielsson

Nils Anders Danielsson, With an exceptional h-index of 18 and a recent h-index of 10 (since 2020), a distinguished researcher at Göteborgs universitet,

His recent articles reflect a diverse array of research interests and contributions to the field:

A graded modal dependent type theory with a universe and erasure, formalized

Higher lenses

Logical properties of a modality for erasure

Practical dependent type checking using twin types

25th International Conference on Types for Proofs and Programs (TYPES 2019)

Higher Inductive Type Eliminators Without Paths

Nils Anders Danielsson Information

University

Position

Researcher Chalmers University of Technology and

Citations(all)

1003

Citations(since 2020)

353

Cited By

809

hIndex(all)

18

hIndex(since 2020)

10

i10Index(all)

19

i10Index(since 2020)

11

Email

Access Email

University Profile Page

Göteborgs universitet

Google Scholar

View Google Scholar Profile

Top articles of Nils Anders Danielsson

Title

Journal

Author(s)

Publication Date

A graded modal dependent type theory with a universe and erasure, formalized

Proceedings of the ACM on Programming Languages

Andreas Abel

Nils Anders Danielsson

Oskar Eriksson

2023/8/30

Higher lenses

Paolo Capriotti

Nils Anders Danielsson

Andrea Vezzosi

2020

Logical properties of a modality for erasure

Preprint: http://www. cse. chalmers. se/nad/publications/danielsson-erased. pdf. Accessed

Nils Anders Danielsson

2021

Practical dependent type checking using twin types

Víctor López Juan

Nils Anders Danielsson

2020/8/23

25th International Conference on Types for Proofs and Programs (TYPES 2019)

Michael Kohlhase

Florian Rabe

Makarius Wenzel

Jesper Cockx

Sandra Alves

...

2020

Higher Inductive Type Eliminators Without Paths

Nils Anders Danielsson

2020

See List of Professors in Nils Anders Danielsson University(Göteborgs universitet)