Type and behaviour reconstruction for higher-order concurrent programs

DOI10.1017/S0956796897002700zbMath0881.68034OpenAlexW2064264121MaRDI QIDQ4358460

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson

Publication date: 29 September 1997

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796897002700

zbMATH Keywords

CMLinference algorithm

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (6)

Constraints for polymorphic behaviours of concurrent ML ⋮ Static and dynamic processor allocation for higher-order concurrent languages ⋮ Automated temporal verification for algebraic effects ⋮ Region-based memory management ⋮ Type-Based Analysis for Session Inference (Extended Abstract) ⋮ Types and trace effects for object orientation

This page was built for publication: Type and behaviour reconstruction for higher-order concurrent programs