Functional translation of a calculus of capabilities

DOI10.1145/1411204.1411235zbMath1323.68099OpenAlexW4241892188MaRDI QIDQ5178764

François Pottier, Arthur Charguéraud

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

regionseffectsmonadslinearityaliasingtype systemsownershipcapabilities

Mathematics Subject Classification ID

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

Related Items (1)

Context-Free Session Type Inference

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