-
Uddannelse
Find uddannelse
Studievejledning
Kvalitet
- Forskning
-
Samarbejde
Virksomheder
Kommuner og regioner
Gymnasier
Myndigheder
-
Om AU
Organisation
Kontakt
Om AU
- Organisation
- Ledelse
- Strategi
- AU i tal
- AU's historie
- Internationalt samarbejde
- Bæredygtighed
- Campus 2.0
- Diversitet og ligestilling
- Ledige stillinger
- Presse
- Kontakt
Magnus Madsen
Adjunkt
Åbogade 34
8200 Aarhus N
Danmark
- Udgivet
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
- Udgivet
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
- Udgivet
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review
ID: 14963459