1 project tagged "Hidley-Milner type system"

Download Website Updated 01 Sep 2013 libmx

Screenshot
Pop 43.58
Vit 1.44

libmx provides a framework for dealing with (extended and optionally typed) lambda calculus expressions. Among other features, it provides a template instantiation machine for evaluating the value of a lambda calculus expression, a template instantiation machine for evaluating the Hindley-Milner type of an lambda calculus expression, and reference counter-based memory management for lambda calculus expressions and types.

Screenshot

Project Spotlight

messagepax

A minimalist MessagePack implementation for Java.

Screenshot

Project Spotlight

ClearOS

A network server gateway solution.