Type inference for variant object types (Q1854549): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with recursive types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4222755
@@ Property / cites work: Q4222755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+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 @@
+Efficient inference of object types
@@ Property / cites work: Efficient inference of object types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365943
@@ Property / cites work: Q4365943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729061
@@ Property / cites work: Q2729061 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping constrained types
@@ Property / cites work: Subtyping constrained types / rank @@
+Normal rank
@@ Property / cites work @@
+Type reconstruction with recursive types and atomic subtyping
+Normal rank