Acute: High-level programming language design for distributed computation

DOI10.1017/S0956796807006442zbMath1125.68023OpenAlexW2129991479MaRDI QIDQ5308092

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

Publication date: 26 September 2007

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

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

zbMATH Keywords

distributed programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed systems (68M14)

Related Items (7)

Howe’s Method for Calculi with Passivation ⋮ Non-parametric parametricity ⋮ Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Extending the lambda-calculus with unbind and rebind ⋮ Ott: Effective tool support for the working semanticist ⋮ F-ing modules

Uses Software

• SafeDpi
• JoCaml
• VESTA
• OCaml
• Pict
• ULM
• Freshml

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