Packages tagged type-inference
1 package has this tag.
[Merge tag] (trustees only)Related tags: language (1), library (1), program (1), public-domain (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
ml-w | 1 | 0.0 | 1 | Minimal ML language to to demonstrate the W type infererence algorithm. | (language, library, program, public-domain, type-inference) | 2012-04-09 | 0.1.1 | FrancescoMazzoli |