A soft-typing system for Erlang

This publication has 7 references indexed in Scilit:

• DrScheme: a programming environment for Scheme
  Journal of Functional Programming, 2002
• Verification of Erlang programs using abstract interpretation and model checking
  Published by Association for Computing Machinery (ACM) ,1999
• A practical subtyping system for Erlang
  ACM SIGPLAN Notices, 1997
• A practical soft type system for scheme
  ACM Transactions on Programming Languages and Systems, 1997
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Soft typing
  Published by Association for Computing Machinery (ACM) ,1991
• Control flow analysis in scheme
  Published by Association for Computing Machinery (ACM) ,1988