Predicative polymorphism in π-calculus

This publication has 10 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Typing and subtyping for mobile processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Principal typing schemes in a polyadic π-calculus
  Published by Springer Nature ,1993
• Types for dyadic interaction
  Published by Springer Nature ,1993
• A typing system for a calculus of objects
  Published by Springer Nature ,1993
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• A proper extension of ML with an effective type-assignment
  Published by Association for Computing Machinery (ACM) ,1988
• A Simple Algorithm and Proof for Type Inference1
  Fundamenta Informaticae, 1987
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982