Making Sense out of an Advanced Type System
Event details
| Date | 13.09.2010 |
| Hour | 15:00 |
| Speaker | Mr Hubert Plociniczak |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Claude Petitpierre
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Viktor Kuncak
Research Proposal
Let should not be generalized by Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers
Improving Type Error Diagnosis by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Type inference with constrained types by Martin Odersky, Martin Sulzmann, Martin Wehr
Exam president: Prof. Claude Petitpierre
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Viktor Kuncak
Research Proposal
Let should not be generalized by Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers
Improving Type Error Diagnosis by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Type inference with constrained types by Martin Odersky, Martin Sulzmann, Martin Wehr
Practical information
- General public
- Free
Contact
- Evelyn Duperrex