Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 10:00 - 10:30 at PEPM - Session 1 Chair(s): Torben Mogensen

Felleisen’s control and prompt are a pair of control operators that can dynamically change the extent of captured continuations. The behavior enables implementing non-trivial algorithms, but also complicates the semantics of programs. We present our preliminary work on designing a general type system for control/prompt. Following previous studies on typing control operators, we identify necessary typing constraints by carefully analyzing the CPS translation. As a result, we obtain a terminating type system that fully reflects how contexts compose and propagate at runtime.

Short paper (paper8.pdf)642KiB

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:00: Session 1PEPM at PEPM
Chair(s): Torben MogensenDIKU, University of Copenhagen

Live stream: https://www.youtube.com/watch?v=fvWxWyV05v4

10:00 - 10:30
Short-paper
A Functional Abstraction of Typed Trails
PEPM
Kenichi AsaiOchanomizu University, Youyou CongTokyo Institute of Technology, Chiaki IshioOchanomizu University
File Attached
10:30 - 11:00
Research paper
A Text-based Syntax Completion Method Using LR Parsing
PEPM
Isao SasanoShibaura Institute of Technology, Kwanghoon ChoiChonnam National University