Navigation
MAINLY FOR
Olivier Danvy
Department of Computer Science
Åbogade 34
building 5341, room 228
8200, Aarhus N
Denmark
Direct phone: 20586214
Mobile phone: 20586214
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
- Accepted
On Inter-deriving Small-step and Big-step Semantics : A Case Study for Storeless Call-by-need Evaluation
Publication: Research - peer-review › Journal article
- Accepted
Three Syntactic Theories for Combinatory Graph Reduction
Publication: Research - peer-review › Journal article
- Published
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
Publication: Research - peer-review › Journal article
Presentational tips and tricks in computer science: talks, articles and peer reviews
Activity: Lecture and oral contribution
http://www.seas.upenn.edu/~sweirich/wmm/
Activity: Participation in council, board, committee and network › Membership in committee, council, board
Université de Nice à Sophia-Antipolis
Activity: Participation in council, board, committee and network › Membership in review committee
Latest activities and conferences
ID: 14911
Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark
CVR no: 31119103
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245
©Comments to web editor