Contracts for higher-order functions
From MaRDI portal
Publication:2949191
DOI10.1145/581478.581484zbMath1322.68039OpenAlexW2128303158MaRDI QIDQ2949191
Matthias Felleisen, Robert Bruce Findler
Publication date: 7 October 2015
Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/581478.581484
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (26)
What is a sorting function? ⋮ A Debugger-Cooperative Higher-Order Contract System in Python ⋮ Unnamed Item ⋮ A Delta for Hybrid Type Checking ⋮ Foundations of dependent interoperability ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Debugging hygienic macros ⋮ Practical run-time checking via unobtrusive property caching ⋮ Gradual type-and-effect systems ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Correctness of compiling polymorphism to dynamic typing ⋮ Space-efficient gradual typing ⋮ Call-by-name Gradual Type Theory ⋮ Contracts made manifest ⋮ Polymorphic Contracts ⋮ Sound and complete concolic testing for higher-order functions ⋮ A Principled Approach to Tracking Information Flow in the Presence of Libraries ⋮ The interaction of contracts and laziness ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation ⋮ Reconciling method overloading and dynamically typed scripting languages ⋮ Session-typed concurrent contracts ⋮ Protocol combinators for modeling, testing, and execution of distributed systems ⋮ Blame and coercion: Together again for the first time ⋮ Gradual type theory
Uses Software
This page was built for publication: Contracts for higher-order functions
