Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 10:05 - 10:30 at Sala VII - Session Types Chair(s): Ilaria Castellani

In process calculi that descend from the pi-calculus, the distinction between names and processes is essential. On the other hand, names are often used as references to processes. In this talk I investigate a process calculus, inspired by recursion theory and by work by Meredith. The process calculus has a notion of explicit quoting, where the distinction between names and processes disappears. This has interesting consequences for the semantic theory, for encodings and for session type disciplines.

Slides (OPCT 2019.pdf)5.5MiB

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Session TypesOPCT at Sala VII
Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France
09:00 - 09:15
Day opening
09:15 - 09:40
A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40 - 10:05
A Foundation for Runtime Enforcement
Adrian FrancalanzaUniversity of Malta
10:05 - 10:30
Processes as Names?
Hans HüttelDepartment of Computer Science, Aalborg University
File Attached