01
ML, Robin Milner, and the Rise of Type Inference
ML began as the metalanguage of the LCF theorem prover and introduced practical polymorphic type inference, showing that strong static typing could coexist with concise functional programs.
↗
Collection