Constraining Delimited Control with Contracts

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37036-6_14 ◽

2013 ◽

pp. 229-248 ◽

Author(s):

Asumu Takikawa ◽

T. Stephen Strickland ◽

Sam Tobin-Hochstadt

Download Full-text