Giters

chrisnevers / type-inference

Implementation of Algorithm W

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

type-inferencealgorithm-wprogramming-languagesmilnerpolymorphismlambda-calculusmenhir

Type Inference

An implementation of Algorithm W for the lambda calculus.

About

Implementation of Algorithm W

type-inferencealgorithm-wprogramming-languagesmilnerpolymorphismlambda-calculusmenhir

Languages

Language:OCaml 97.3%Language:Makefile 2.7%