COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Effects as sessions, sessions as effects

## Effects as sessions, sessions as effectsAdd to your list(s) Download to your calendar using vCal - Dominic Orchard, Computer Laboratory
- Friday 05 February 2016, 14:00-15:00
- SS03.
If you have a question about this talk, please contact Ohad Kammar. NOTE UNUSUAL VENUE Effect and session type systems are two expressive behavioural type systems. The former is usually developed in the context of the λ- calculus and its variants, the latter for the π-calculus. In this talk, I explore their relative expressive power. Firstly, I give an embedding from PCF , augmented with a parameterised effect system, into a session-typed π-calculus (session calculus), showing that session types are powerful enough to express effects. Secondly, I give a reverse embedding, from the session calculus back into PCF , by instantiating PCF with concurrency primitives and its effect system with a session-like effect algebra; effect systems are powerful enough to express sessions. The embedding of session types into an effect system is leveraged to give a new implementation of session types in Haskell, via an effect system encoding. The correctness of this implementation follows from the second embedding result. This is joint work with Nobuko Yoshida, presented at POPL ’16. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Computer Laboratory Programming Research Group Seminar
- Computer Laboratory talks
- Computing and Mathematics
- Logic and Semantics Seminar (Computer Laboratory)
- SS03
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsAlfaisal University Engineering Seminars Type the title of a new list here CUQM Lectures## Other talksDouble talk on Autism genetics What quantum computers tell us about physics (even if no one ever builds one!) Lua: designing a language to be embeddable Predictive modeling of hydrogen assisted cracking – a Micromechanics conquest Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli Foster Talk - CANCELLED - Redox Oscillations in the Circadian Clockwork |