nyandrianinamamy/typeur-scala

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A type inference system based on simply typed lambda-calculus with let-polymorphism and imperative traits.