Constraints for polymorphic behaviours of concurrent ML

DOI10.1007/BFb0016845zbMath1495.68028OpenAlexW1604944583MaRDI 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

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Static and dynamic processor allocation for higher-order concurrent languages

Cites Work

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

This page was built for publication: Constraints for polymorphic behaviours of concurrent ML