Constraining Delimited Control with Contracts.

Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt

Browse the full ESOP paper archive.