Systematic identification and communication of type errors (Q4577823): Difference between revisions

@@ Property / cites work @@
+Counter-factual typing for debugging type errors
@@ Property / cites work: Counter-factual typing for debugging type errors / rank @@
+Normal rank
@@ Property / cites work @@
+Guided Type Debugging
@@ Property / cites work: Guided Type Debugging / rank @@
+Normal rank
@@ Property / cites work @@
+An error-tolerant type system for variational lambda calculus
+Normal rank
@@ Property / cites work @@
+Compositional explanation of types and algorithmic debugging of type errors
+Normal rank
@@ Property / cites work @@
+Explaining type inference
@@ Property / cites work: Explaining type inference / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of a set of hybrid let-polymorphic type inference algorithms
+Normal rank
@@ Property / cites work @@
+Q4417900
@@ Property / cites work: Q4417900 / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminative sum types locate the source of type errors
+Normal rank
@@ Property / cites work @@
+Practical SMT-based type error localization
@@ Property / cites work: Practical SMT-based type error localization / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
+Normal rank
@@ Property / cites work @@
+Toward general diagnosis of static errors
@@ Property / cites work: Toward general diagnosis of static errors / rank @@
+Normal rank