A practical type system for erlang. Erlang User Conference (2002)

by J L Armstrong, T Arts