Temporal higher-order contracts.

Tim Disney, Cormac Flanagan, Jay McCarthy

Browse the full ICFP paper archive.