Programming Languages and Compilers WS 2013/14 - Slide 613
Objectives:
Understand type inference
In the lecture:
Explain how types are computed using
the types of operations and program entities
without having typed declarations
Questions:
- How would type inference find type errors?
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013