Higher-Order Subtyping with Type Intervals
Event details
| Date | 10.11.2017 |
| Hour | 18:00 |
| Speaker | Sandro STUCKI |
| Location | |
| Category | Thesis defenses |
Thesis director : Prof. M. Odersky
Computer and Communication Sciences doctoral program
Thesis 8014
Practical information
- General public
- Free