jozefg/hm

A small implementation of type inference

Standard ML

15 commits

updated May 19, 2015

README

hm

I'm TAing an introduction to functional programming class at CMU. A bunch of people were asking how type inference works and I ended up sketching an implementation of algorithm W.

Hopefully this will eventually be polished enough to actually share with the people I TA.

Contributors

jozefg

15 commits

Similar repos

jozefg/higher-order-unification

A small implementation of higher-order unification

197

same org

adamgundry/type-inference

Unification and type inference algorithms

127

kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19

cu1ch3n/type-inference-zoo

🦖 Implementations of various type inference algorithms. The new project is now at…

156

tomprimozic/type-systems

Implementations of various type systems in OCaml.

1,604

andreypopp/type-systems

Playing with type systems

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

JDemler/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

120

Languages

Standard ML

100.0%

jozefg/hm

A small implementation of type inference

Standard ML

15 commits

updated May 19, 2015

See the code

README

hm

I'm TAing an introduction to functional programming class at CMU. A bunch of people were asking how type inference works and I ended up sketching an implementation of algorithm W.

Hopefully this will eventually be polished enough to actually share with the people I TA.

Similar repos

jozefg/higher-order-unification

A small implementation of higher-order unification

197

same org

adamgundry/type-inference

Unification and type inference algorithms

127

kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19

cu1ch3n/type-inference-zoo

🦖 Implementations of various type inference algorithms. The new project is now at…

156

tomprimozic/type-systems

Implementations of various type systems in OCaml.

1,604

andreypopp/type-systems

Playing with type systems

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

JDemler/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

120

Contributors

jozefg

15 commits

Languages

Standard ML

100.0%