Learn More
The Milner Calculus is the typed λ-calculus underlying the type system for the programming language ML [Har86] and several other strongly typed polymorphic functional languages such as Miranda(More)