Pages that link to "Item:Q2949191"
From MaRDI portal
The following pages link to Contracts for higher-order functions (Q2949191):
Displayed 26 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Debugging hygienic macros (Q608231) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- What is a sorting function? (Q843213) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Sound and complete concolic testing for higher-order functions (Q2233484) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- Polymorphic Contracts (Q3000571) (← links)
- A Debugger-Cooperative Higher-Order Contract System in Python (Q3179289) (← links)
- A Delta for Hybrid Type Checking (Q3188298) (← links)
- A Principled Approach to Tracking Information Flow in the Presence of Libraries (Q3304806) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Practical run-time checking via unobtrusive property caching (Q4593012) (← links)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Gradual type theory (Q5019016) (← links)
- (Q5214814) (← links)
- Gradual type-and-effect systems (Q5371974) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)
- Correctness of compiling polymorphism to dynamic typing (Q5371998) (← links)
- Contracts made manifest (Q5398336) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)