From Algol to polymorphic linear lambda-calculus

DOI10.1145/331605.331611MaRDI QIDQ5487826zbMATH OpenOpenAlexFDO

Authors John C. Reynolds, Peter W. O'Hearn

Publication date 12 September 2006

Published in Journal of the ACM (Search for Journal in Brave)

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

zbMATH Keywords

linear logiclogical relationsparametric polymorphismlocal state

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Note on Algol and conservatively extending functional programming
• scientific article; zbMATH DE number 1058947
• Reducing transformations for functional programs with assignment
• The transformation calculus
• A syntactic theory of sequential state

Cited in

(15)

• Automata-theoretic semantics of idealized Algol with passive expressions
• Monoidal indeterminates and categories of possible worlds
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Polymorphic lambda calculus and subtyping.
• Monoidal indeterminates and categories of possible worlds
• Objects and classes in Algol-like languages
• A nominal relational model for local store
• Safe session-based concurrency with shared linear state
• The essence of parallel Algol.
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• Note on Algol and conservatively extending functional programming
• Enriching an Effect Calculus with Linear Types
• The regular-language semantics of second-order idealized ALGOL
• Q\# as a quantum algorithmic language

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: From Algol to polymorphic linear lambda-calculus

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