conf.researchr.org / Magnus Madsen
Registered user since Mon 21 Sep 2015
Name:Magnus Madsen
Country:Denmark
Affiliation:Aarhus University
Personal website: http://cs.au.dk/~magnusm/
Research interests:Programming Languages
Contributions
2024
PLDI
2023
SPLASH
ICFP
ECOOP
- Author of Restrictable Variants: A Simple and Practical Alternative to Extensible Variants within the Research Papers-track
- Author of Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism within the Research Papers-track
- Author of Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints within the Research Papers-track