Contact
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
- IT, Computer Science and Mathematics > Software Systems > Domain-specific language
- IT, Computer Science and Mathematics > Theoretical Computer Science > Functional programming
- IT, Computer Science and Mathematics > Pervasive Computing > Global computing
- IT, Computer Science and Mathematics > Software Systems > Compilers and interpreters
- IT, Computer Science and Mathematics > Software Systems > Models and logic for interactive systems
- Education, teaching and philosophy > Logic and Argumentation Theory > Modern logic
- IT, Computer Science and Mathematics > Software Systems > Object-oriented programming lauguage
- IT, Computer Science and Mathematics > Software Systems > Object-oriented programming
- IT, Computer Science and Mathematics > Theoretical Computer Science > Partial evaluation and normalisation
- IT, Computer Science and Mathematics > Theoretical Computer Science > Program analysis and transformations
- IT, Computer Science and Mathematics > Theoretical Computer Science > Programming languages and formal models
- IT, Computer Science and Mathematics > Theoretical Computer Science > Semantics of programming language
- IT, Computer Science and Mathematics > Software Systems > Software development tools
- IT, Computer Science and Mathematics > Design and Systems Development > Technology with learning potential
- IT, Computer Science and Mathematics > Software Systems > Type systems
- IT, Computer Science and Mathematics > Software Systems > Teaching in programming and software development
- Nature and Technology > Society, Technology and Science > Philosophy of science
- IT, Computer Science and Mathematics > Software Systems > Vitual/abstract machines
- IT, Computer Science and Mathematics > Theoretical Computer Science > Tools based on partial evaluation
- 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 › Membership in committee, council, board
Natural Sciences and Engineering Research Council of Canada (External organisation)
Activity: Membership types › Membership in 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