Funktionale Programmierung: 4.2) The type inference algorithm (Fr, 06.07.2012)