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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

A Functional Abstraction of Typed Trails
Kenichi Asai Ochanomizu University, Youyou Cong Tokyo Institute of Technology, Chiaki Ishio Ochanomizu University
Media Attached File Attached
Research paper
A Text-based Syntax Completion Method Using LR Parsing
Isao Sasano Shibaura Institute of Technology, Kwanghoon Choi Chonnam National University
Media Attached