Search results

This doesn't implement Algorithm W

Status: Open.

#7 In prakhar1989/type-inference;

· jdh30 opened on Sep 16, 2018

Incorrect type inferred for untypable expression

Status: Open.

#6 In prakhar1989/type-inference;

· jdh30 opened on Sep 16, 2018

Type inference error on a typable expression

Status: Open.

#5 In prakhar1989/type-inference;

· BookOwl opened on May 15, 2017

Let Polymorphism

Status: Open.

#4 In prakhar1989/type-inference;

· prakhar1989 opened on Apr 27, 2016

Unification algorithm

Status: Open.

#3 In prakhar1989/type-inference;

· prakhar1989 opened on Apr 26, 2016