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

Mon 14 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Session TypesOPCT at Sala VII
Chair(s): Ilaria Castellani INRIA Sophia Antipolis, France
09:00
15m
Day opening
Opening
OPCT

09:15
25m
Talk
A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
OPCT
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40
25m
Talk
A Foundation for Runtime Enforcement
OPCT
Adrian Francalanza University of Malta
10:05
25m
Talk
Processes as Names?
OPCT
Hans Hüttel Department of Computer Science, Aalborg University
File Attached