MLsub

swMATH32445MaRDI QIDQ44156FDOQ44156

Author name not available (Why is that?)

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