Lolliproc

DOI10.1145/1863543.1863551zbMath1323.68135OpenAlexW2070112643MaRDI QIDQ5176928

Karl Mazurak, Steve Zdancewic

Publication date: 5 March 2015

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

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

zbMATH Keywords

linear logicconcurrencytype systems

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (5)

Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) ⋮ Unnamed Item ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Lolliproc ⋮ Proof-Carrying Code in a Session-Typed Process Calculus

This page was built for publication: Lolliproc