A Second Look At ML Chapter SevenModern Programming Languages, 2nd ed.1.
A Third Look At ML 1. Outline More pattern matching Function values and anonymous functions Higher-order functions and currying Predefined higher-order.
Christian gierds 2013-06-20-c ai-se
Type Inference David Walker COS 441. Criticisms of Typed Languages Types overly constrain functions & data polymorphism makes typed constructs useful.
Type Inference