Navigation
MEST TIL
Olivier Danvy
Åbogade 34
bygning 5341, lokale 228
8200, Aarhus N
Danmark
Direkte telefon: 20586214
Mobiltelefon: 20586214
Forskningsområder
- It, datalogi og matematik > Softwaresystemer > Domain-specifikke sprog
- It, datalogi og matematik > Teoretisk datalogi > Funktionel programmering
- It, datalogi og matematik > Pervasive computing (it i alting) > Global computing
- It, datalogi og matematik > Softwaresystemer > Kompilere og fortolkere
- It, datalogi og matematik > Softwaresystemer > Modeller og logik for interaktive systemer
- Pædagogik, læring og filosofi > Logik og argumentationsteori > Moderne logik
- It, datalogi og matematik > Softwaresystemer > Objekt-orienterede programmeringssprog
- It, datalogi og matematik > Softwaresystemer > Objekt-orienteret programmering
- It, datalogi og matematik > Teoretisk datalogi > Partial-evaluering og normalisering
- It, datalogi og matematik > Teoretisk datalogi > Programanalyse og -transformationer
- It, datalogi og matematik > Teoretisk datalogi > Programmeringssprog og formelle modeller
- It, datalogi og matematik > Teoretisk datalogi > Semantik af programmeringssprog
- It, datalogi og matematik > Softwaresystemer > Softwareudviklingsværktøjer
- It, datalogi og matematik > Design og systemudvikling > Teknologi med læringspotentiale
- It, datalogi og matematik > Softwaresystemer > Type-systemer
- It, datalogi og matematik > Softwaresystemer > Undervisning i programmering og softwareudvikling
- Natur og teknologi > Samfund, teknologi og videnskab > Videnskabsteori
- It, datalogi og matematik > Softwaresystemer > Virtuelle/abstrakte maskiner
- It, datalogi og matematik > Teoretisk datalogi > Værktøjer baseret på partiel evaluering
- Accepteret
On Inter-deriving Small-step and Big-step Semantics : A Case Study for Storeless Call-by-need Evaluation
Publikation: Forskning - peer review › Tidsskriftartikel
- Accepteret
Three Syntactic Theories for Combinatory Graph Reduction
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
Publikation: Forskning - peer review › Tidsskriftartikel
Presentational tips and tricks in computer science: talks, articles and peer reviews
Aktivitet: Foredrag og mundtlige bidrag
4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af udvalg, råd og nævn
Université de Nice à Sophia-Antipolis
Aktivitet: Medlemskab af styrelser, råd, nævn, udvalg og netværk › Medlemskab af bedømmelsesudvalg
Seneste aktiviteter og konferencer
ID: 14911
Institut for Datalogi
Aarhus Universitet
Åbogade 34
8200 Aarhus N
Aarhus Universitet
Åbogade 34
8200 Aarhus N
CVR-nr: 31119103
P-nr: 1007674542
EAN-nr: 5798000419841
Stedkode: 55245
P-nr: 1007674542
EAN-nr: 5798000419841
Stedkode: 55245
©Henvendelser til webredaktør