Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673): Difference between revisions

@@ Property / cites work @@
+jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
+Normal rank
@@ Property / cites work @@
+Q4222932
@@ Property / cites work: Q4222932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499197
@@ Property / cites work: Q4499197 / rank @@
+Normal rank
@@ Property / cites work @@
+A sound (and complete) model of contracts
@@ Property / cites work: A sound (and complete) model of contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / 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 @@
+Q4738223
@@ Property / cites work: Q4738223 / 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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of effects and monads
@@ Property / cites work: The marriage of effects and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Static contract checking for Haskell
@@ Property / cites work: Static contract checking for Haskell / rank @@
+Normal rank