Practical Effect Systems
Event details
| Date | 02.07.2014 |
| Hour | 11:00 |
| Speaker | Sébastien Doeraene |
| Location | |
| Category | Conferences - Seminars |
Candidacy exam
Exam president: Prof. Christoph Koch
Thesis director : Prof. Martin Odersky
Co-examiner : Prof. George Candea
Research Proposal
The marriage of effects and monads by Philip Wadler.
A generic type-and-effect system by Daniel Marino and Todd Millstein.
Programming and reasoning with algebraic effects and dependent types by Edwin Brady.
Exam president: Prof. Christoph Koch
Thesis director : Prof. Martin Odersky
Co-examiner : Prof. George Candea
Research Proposal
The marriage of effects and monads by Philip Wadler.
A generic type-and-effect system by Daniel Marino and Todd Millstein.
Programming and reasoning with algebraic effects and dependent types by Edwin Brady.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex