ML

Software / App

A functional programming language from which one can learn valuable lessons in expressing mathematical notions clearly and strict type systems.

Mentioned in 1 video