Towards a semantic theory of CML

DOI10.1007/3-540-60246-1_151zbMATH Open1193.68068OpenAlexW1576242407MaRDI QIDQ3569034FDOQ3569034

Authors: William Ferreira, Matthew Hennessy 

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_151

Recommendations

• Publication:4490760
• scientific article; zbMATH DE number 683361
• A proposed categorical semantics for pure ML
• A generalization of the Routley-Meyer semantic framework
• Conceptual semantic systems theory and applications
• A proposed categorical semantics for ML modules
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (9)

• Title not available (Why is that?)
• Full abstractness for a functional/concurrent language with higher-order value-passing
• A behavioural theory of first-order CML
• A model of cooperative threads
• A model of cooperative threads
• Title not available (Why is that?)
• A theory of bisimulation for a fragment of concurrent ML with local names
• Semantics for core Concurrent ML using computation types
• From CML to its process algebra

This page was built for publication: Towards a semantic theory of CML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569034)