Back to Results
First PageMeta Content
Mathematical logic / Universal quantification / Uniform space / Linear temporal logic / Μ operator / Mathematics / Function / Topology


Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed
Add to Reading List

Document Date: 2014-04-18 17:24:35

Open Document

File Size: 282,99 KB

Share Result on Facebook

Company

CONCUR / /

/

Facility

J. Garrett Morris The University of Edinburgh / /

Organization

University of Edinburgh / /

Person

LAM LX / Philip Wadler / Simon J. Gay / Ai / Gianluigi Bellin / Jean-Yves Girard / Frank Pfenning / Philip J. Scott / Sam Lindley / Bellin / Morris Structural / Matthias Felleisen / Morris Lx / Vasco T. Vasconcelos / Samson Abramsky / Elena Giachino / Caires Pfenning / Davide Sangiorgi / Ornela Dardha / Morris Cut / J. Garrett Morris / /

PublishedMedium

Theoretical Computer Science / /

Technology

Functional Programming / /

SocialTag