Acute: high-level programming language design for distributed computation

DOI10.1145/1086365.1086370MaRDI QIDQ2936763zbMATH OpenOpenAlexFDO

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

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

abstract typesdistributed programmingmarshallingMLmodulesprogramming languagesrebindingserialisationtype theoryversion control

Mathematics Subject Classification ID

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

Recommendations

• Acute: High-level programming language design for distributed computation
• Abstraction preservation and subtyping in distributed languages
• scientific article; zbMATH DE number 1832235
• Modular session types for distributed object-oriented programming
• Modules, abstract types, and distributed versioning

Cited in

(6)

• A static simulation of dynamic delimited control
• A programming model and foundation for lineage-based distributed computation
• Modules, abstract types, and distributed versioning
• Global abstraction-safe marshalling with hash types
• Acute: High-level programming language design for distributed computation
• Abstraction preservation and subtyping in distributed languages

This page was built for publication: Acute: high-level programming language design for distributed computation

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