The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential typ
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential typ
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.