Functional translation of a calculus of capabilities

DOI10.1145/1411204.1411235MaRDI QIDQ5178764zbMATH OpenOpenAlexFDO

Authors Arthur Charguéraud, François Pottier

Publication date 16 March 2015

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

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

zbMATH Keywords

aliasingcapabilitieseffectslinearitymonadsownershipregionstype systems

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

• scientific article; zbMATH DE number 1499111
• Translation of logic programs into functional fixpoint equations
• Concept functionals
• Fully abstract translations between functional languages
• A functional representation of capacity monad
• A functional functional interpretation
• A complexity analysis of functional interpretations

Cited in

(3)

• Context-free session type inference
• Syntactic soundness proof of a type-and-capability system with hidden state
• An imperative pure calculus

This page was built for publication: Functional translation of a calculus of capabilities

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