A prototype of a soft type system for Erlang (1996)

by Anders Lindgren
Venue:ETSI TS