Ambivalent Types for Principal Type Inference with GADTs (Q2937793): Difference between revisions

@@ Property / cites work @@
+Typing dynamic typing
@@ Property / cites work: Typing dynamic typing / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-explicit first-class polymorphism for ML.
@@ Property / cites work: Semi-explicit first-class polymorphism for ML. / rank @@
+Normal rank
@@ Property / cites work @@
+Ambivalent Types for Principal Type Inference with GADTs
+Normal rank
@@ Property / cites work @@
+Recasting ML\(^{\text F}\)
@@ Property / cites work: Recasting ML\(^{\text F}\) / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified type inference for generalized algebraic data types
+Normal rank
@@ Property / cites work @@
+Complete and decidable type inference for GADTs
@@ Property / cites work: Complete and decidable type inference for GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in Ωmega
@@ Property / cites work: Programming in Ωmega / rank @@
+Normal rank
@@ Property / cites work @@
+<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank