MLsub

MaRDI QIDQ44156swMATHFDO

Official website https://github.com/stedolan/mlsub

Source code repository https://github.com/stedolan/mlsub

Described by source

• Polymorphism, subtyping, and type inference in MLsub

Cited in

(1)

• BNF-style notation as it is actually used

This page was built for software: MLsub