Constraints for polymorphic behaviours of concurrent ML

This publication has 10 references indexed in Scilit:

• Disjunctive strictness analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Type and Effect Discipline
  Information and Computation, 1994
• Higher-order concurrent programs with finite communication topology (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1994
• Programming with behaviors in an ML framework — The syntax and semantics of LCS
  Published by Springer Nature ,1994
• From CML to process algebras
  Published by Springer Nature ,1993
• Type inference with simple subtypes
  Journal of Functional Programming, 1991
• Algebraic reconstruction of types and effects
  Published by Association for Computing Machinery (ACM) ,1991
• Polymorphic type inference and assignment
  Published by Association for Computing Machinery (ACM) ,1991
• Unification theory
  Journal of Symbolic Computation, 1989
• Strictness analysis
  Published by Association for Computing Machinery (ACM) ,1989