type-inference topic

A semantic indexer for Ruby with interprocedual type inference

yinwang0

Code from the book "Types and Programming Languages" in Scala

ilya-klyuchnikov

PHPStan based SQL static analysis and type inference for the database access layer

staabm

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

zehaochen19

A pure functional type-inferred language based on JavaScript

cdiggins

Normalization by evaluation for Martin-Löf Type Theory with dependent records

brendanzab

Swift type checking and semantic analysis for developer tools

MaxDesiatov

Hypertypes - generic programming for heterogeneous recursive types

lamdu

The Ntha Programming Language

zjhmale

A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7

dinanathsj29