-
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
Olivier Danvy
Adjungeret professor, Adjungeret Professoer
Åbogade 34
8200 Aarhus N
Danmark
Mobil: +4520586214
Åbogade 34
bygning 5341, 228
8200 Aarhus N
Danmark
Fastnet: +4520586214
Mobil: +4520586214
Forskningsområder
- Domain-specifikke sprog Funktionel programmering Global computing Kompilere og fortolkere Modeller og logik for interaktive systemer Moderne logik Objekt-orienterede programmeringssprog Objekt-orienteret programmering Partial-evaluering og normalisering Programanalyse og -transformationer Programmeringssprog og formelle modeller Semantik af programmeringssprog Softwareudviklingsværktøjer Teknologi med læringspotentiale Type-systemer Undervisning i programmering og softwareudvikling Videnskabsteori Virtuelle/abstrakte maskiner Værktøjer baseret på partiel evaluering
- Udgivet
A dynamic continuation-passing style for dynamic delimited continuations
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Udgivet
2015 Workshop on Continuations: pre-proceedings
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review
- Udgivet
From Outermost Reduction Semantics to Abstract Machine
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
ACM SIGPLAN (Ekstern organisation)
Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn
Natural Sciences and Engineering Research Council of Canada (Ekstern organisation)
Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn
Symposium for Mogens Nielsen's 60th birthday : an Aarhus celebration
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
ID: 14911