Author

N. Danielsson

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Towards Improved Emergency Care and Neuroprotection in Spinal Cord Injury

Abstract Spinal cord injury (SCI) is a severe neurological condition in which substantial tissue damage develops after the initial trauma through secondary injury mechanisms such as ischemia, inflammation, and metabolic dysfunction. Early management plays a critical role in influencing outcomes, yet current practice la...

Ellen Huld Alexandra Þórðardóttir, Katrín Rut Mar Þórðardóttir, Selma Gunnarsdóttir et al. · Current Directions in Biomed... · 0 citations

Open access Aug 2026

On Recursion in Graded Modal Type Theory

We present a graded modal type theory with recursion over natural numbers and prove formally in Agda that it handles resources correctly, in the sense that an abstract machine accesses resources the “correct” number of times. The theory is parametrized, and can for instance be instantiated with grades for erasure, line...

Oskar Eriksson, Andreas Abel, N. Danielsson · Proc. ACM Program. Lang. · 0 citations