Dependent Object Types
Event details
| Date | 12.09.2012 |
| Hour | 13:00 |
| Speaker | Ms Nada Amin |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A type-theoretic approach to higher-order modules with sharing by Robert Harper and Mark Lillibridge.
Tribe: A Simple Virtual Class Calculus by Dave Clarke, Sophia Drossopoulou, James Noble and Tobias Wrigstad.
A Nominal Theory of Objects with Dependent Types by Martin Odersky, Vincent Cremet, Christine Röckl and Matthias Zenger
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A type-theoretic approach to higher-order modules with sharing by Robert Harper and Mark Lillibridge.
Tribe: A Simple Virtual Class Calculus by Dave Clarke, Sophia Drossopoulou, James Noble and Tobias Wrigstad.
A Nominal Theory of Objects with Dependent Types by Martin Odersky, Vincent Cremet, Christine Röckl and Matthias Zenger
Practical information
- General public
- Free
Contact
- Evelyn Duperrex