Funktionale Programmierung: 4) Type checking and inference 4.1) Type schemata and type assumptions 4.2) The type inference algorithm (Mo, 02.07.2012)