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.