Recommendations
Cites work
- scientific article; zbMATH DE number 108549 (Why is no real title available?)
- scientific article; zbMATH DE number 1105469 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 1497780 (Why is no real title available?)
- scientific article; zbMATH DE number 2163037 (Why is no real title available?)
- Complete monitors for behavioral contracts
- Contracts as Pairs of Projections
- Contracts for higher-order functions
- Contracts made manifest
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24--26, 2006. Proceedings.
- Implementation of Functional Languages
- Practical typed lazy contracts
- Sound and complete models of contracts
- Static contract checking for Haskell
- Typed Contracts for Functional Programming
- Well-Typed Programs Can’t Be Blamed
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
Cited in
(9)- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Complete monitors for behavioral contracts
- Executable contracts for Elixir
- Practical typed lazy contracts
- Space-efficient latent contracts
- Procrastination in teams and contract design
- An extended account of contract monitoring strategies as patterns of communication
- Expressing contract monitors as patterns of communication
- Gradual type theory
This page was built for publication: The interaction of contracts and laziness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526445)