A modified GoI interpretation for a linear functional programming language and its adequacy

DOI10.1007/978-3-642-19805-2_22MaRDI QIDQ3000618zbMATH OpenOpenAlexFDO

Authors Naohiko Hoshino

Publication date 19 May 2011

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19805-2_22

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• A general adequacy result for a linear functional language
• Particle-style geometry of interaction as a module system
• From geometry of interaction to denotational semantics
• Towards a typed geometry of interaction
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects

Cited in

(2)

• Computation by interaction for space-bounded functional programming
• scientific article; zbMATH DE number 6917940 (Why is no real title available?)

This page was built for publication: A modified GoI interpretation for a linear functional programming language and its adequacy

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