Descriptions & implementations of type-reconstruction/inference algorithms.

It includes the topics and exercises I explained in the training 🚀

Gentle introduction to Java 10 local variable type inference.

Interpreter for a small functional language

A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)

Naive Hindley-Miler Type Inference Impl

Implementation of a COOL interpreter that has type inference by adding the type AUTO_TYPE

Toy functional language with type inference and let-polymorphism

which type do you want to get?

⚡Explore Kell: A Haskell-inspired language with exciting enhancements! Witness the magic of our ultra-efficient evaluator, driven by Haskell's formidable type inference. 🧪 Rigorously tested through property-based trials, Kell excels at effortlessly evaluating expressions within its dynamic syntax. Unleash the power of Kell using this. 🚀

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

Hindley-Milner type inference for Scheme, in C#

Examples of Generics Implementation in Java.

Programming work for my Senior Initiative project

(Concept) Invisible static type checker for JavaScript

Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.

Hindley-Milner type inference in F#

a scripting language (primarily) for games written in Rust

Type signatures for R functions that call C code

Programming Languages