Constraining Delimited Control with Contracts.

Autor: Takikawa, Asumu, Strickland, T. Stephen, Tobin-Hochstadt, Sam
Zdroj: Programming Languages & Systems (9783642370359); 2013, p229-248, 20p
Databáze: Complementary Index