Type Checking

polytype repository crates.io link docs.rs link

A Hindley-Milner polymorphic typing system.

rusttyc repository crates.io link docs.rs link

A library for writing type checkers with a lattice-like type system in Rust.