Acute

DOI10.1145/1086365.1086370zbMath1302.68071OpenAlexW2124753887MaRDI QIDQ2936763

Viktor Vafeiadis, Mair Allen-Williams, James J. Leifer, Pierre Habouzit, F. Zappa Nardelli, Keith Wansbrough, Peter Sewell

Publication date: 6 January 2015

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

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

zbMATH Keywords

modulesprogramming languagestype theoryMLdistributed programmingversion controlabstract typesserialisationrebindingmarshalling

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)

Related Items (2)

A programming model and foundation for lineage-based distributed computation ⋮ A static simulation of dynamic delimited control

This page was built for publication: Acute