A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
Playing with type systems
A programming language with first-class modules and algebraic effects.
A functional programming language based on system F (omega) ft. NbE and higher order unification
Esca is an experimental strongly-typed language which compiles to Go.
A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
Luna is a general purpose language
Type inference implementation in OCaml using Algorithm W
OCaml implementation of a constraint-based bottom-up type inference algorithm
A simple library implementation of binary sessions
Example implementation of the Hindley-Milner type system
Implementation of Algorithm W
Interpreter of the ITGL with runtime type inference
Implementation of the lambda calculus
A minim(a)l subset of OCaml, with type inference
A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)
Functional language with type inference and let-polymorphism
Type checking, type inference, Church, Curry, polymorphe types, Unification theory, ... All type theory related
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."