The Koka programming language

The Koka programming language

Statically typed programming languages can help catch mismatches between the kinds of values a [...]