Constraints for polymorphic behaviours of concurrent ML
From MaRDI portal
Publication:5096301
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
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
Cites Work