Temporal higher-order contracts

DOI10.1145/2034773.2034800zbMath1323.68068OpenAlexW4238764673MaRDI QIDQ5176974

Jay McCarthy, Cormac Flanagan, Tim Disney

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2034773.2034800

zbMATH Keywords

higher-order programmingtemporal contracts

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (5)

An extended account of contract monitoring strategies as patterns of communication ⋮ Gradual type-and-effect systems ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Session-typed concurrent contracts ⋮ Blame and coercion: Together again for the first time

This page was built for publication: Temporal higher-order contracts