This repository contains a working implementation written in OCaml to demonstrate type-inference on a small functional language. The language that this implementation works on is a small subset called ...

A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.

The Vine programming language is a new experimental language built on interaction nets. It features interoperability between functional and imperative programming patterns. Vine is a statically ...