Type analysis for Erlang

Download (last update 100301).

README

Papers:

A soft-typing system for Erlang. Describes how the analysis can be used as a soft-typing system.

A polyvariant type analysis for Erlang. Focus on efficient implementation of polyvariance.