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 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 11:00
|A Functional Abstraction of Typed Trails|
Kenichi Asai Ochanomizu University, Youyou Cong Tokyo Institute of Technology, Chiaki Ishio Ochanomizu UniversityMedia Attached File Attached
|A Text-based Syntax Completion Method Using LR Parsing|