About Aarhus University
Olivier Danvy
Honorary professor, Professor
Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
Mobile: +4520586214
Department of Computer Science
Åbogade 34
building 5341, 228
8200 Aarhus N
Denmark
Phone: +4520586214
Mobile: +4520586214
Research areas
- Compilers and interpreters Domain-specific language Functional programming Global computing Models and logic for interactive systems Modern logic Object-oriented programming Object-oriented programming lauguage Partial evaluation and normalisation Philosophy of science Program analysis and transformations Programming languages and formal models Semantics of programming language Software development tools Teaching in programming and software development Technology with learning potential Tools based on partial evaluation Type systems Vitual/abstract machines
- Published
A dynamic continuation-passing style for dynamic delimited continuations
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
- Published
2015 Workshop on Continuations: pre-proceedings
Research output: Book/anthology/dissertation/report › Anthology › Research › peer-review
- Published
From Outermost Reduction Semantics to Abstract Machine
Research output: Book/anthology/dissertation/report › Report › Research
ACM SIGPLAN (External organisation)
Activity: Membership types › Member of committee, council, board
Natural Sciences and Engineering Research Council of Canada (External organisation)
Activity: Membership types › Member of committee, council, board
Symposium for Mogens Nielsen's 60th birthday : an Aarhus celebration
Activity: Participating in or organising an event types › Participation in or organisation af a conference
ID: 14911