Partial memoization of concurrency and communication

DOI10.1145/1596550.1596575zbMath1302.68076OpenAlexW1984106647MaRDI QIDQ2936813

Suresh Jagannathan, K. C. Sivaramakrishnan, Lukasz Ziarek

Publication date: 6 January 2015

Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1596550.1596575

zbMATH Keywords

concurrent programmingmulticore systemspartial memoizationConcurrent MLsoftware transactions

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (1)

Lightweight checkpointing for concurrent ML

This page was built for publication: Partial memoization of concurrency and communication