Interpreter of the lambda calculus, statically typed and subtyping supported, in F#. Basically a port of the program for 'simple-sub' paper (see below).
LPTK/simple-sub: Alternative algorithm for algebraic subtyping.:
This repository shows the implementation of Simple-sub, an alternative algorithm to MLsub for type inference based on algebraic subtyping.
An online demo is available here: https://lptk.github.io/simple-sub/
The corresponding ICFP Pearl paper preprint can be downloaded here: https://lptk.github.io/simple-sub-paper
See LICENSE: original part is MIT, my part is CC0.