Constraints for polymorphic behaviours of concurrent ML

DOI10.1007/BFb0016845zbMath1495.68028MaRDI QIDQ5096301

Hanne Riis Nielson, Flemming Nielson

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0016845

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N15: Theory of programming languages

68N18: Functional programming and lambda calculus

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Static and dynamic processor allocation for higher-order concurrent languages

Cites Work

• Unification theory
• Type and behaviour reconstruction for higher-order concurrent programs
• Type inference with simple subtypes
• Unnamed Item