The interaction of contracts and laziness (Q526445): Difference between revisions

@@ Property / cites work @@
+jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
+Normal rank
@@ Property / cites work @@
+Q4499197
@@ Property / cites work: Q4499197 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete models of contracts
@@ Property / cites work: Sound and complete models of contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Practical typed lazy contracts
@@ Property / cites work: Practical typed lazy contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
+Normal rank
@@ Property / cites work @@
+Complete Monitors for Behavioral Contracts
@@ Property / cites work: Complete Monitors for Behavioral Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts as Pairs of Projections
@@ Property / cites work: Contracts as Pairs of Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for higher-order functions
@@ Property / cites work: Contracts for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts made manifest
@@ Property / cites work: Contracts made manifest / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Contracts for Functional Programming
@@ Property / cites work: Typed Contracts for Functional Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673424
@@ Property / cites work: Q4673424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Typed Programs Can’t Be Blamed
@@ Property / cites work: Well-Typed Programs Can’t Be Blamed / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24--26, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Static contract checking for Haskell
@@ Property / cites work: Static contract checking for Haskell / rank @@
+Normal rank