Intersection, Universally Quantified, and Reference Types (Q3644750): Difference between revisions

@@ Property / cites work @@
+Q3893285
@@ Property / cites work: Q3893285 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Intersection types and computational effects
@@ Property / cites work: Intersection types and computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection, Universally Quantified, and Reference Types
+Normal rank
@@ Property / cites work @@
+Principal Typing in a ∀Λ-Discipline
@@ Property / cites work: Principal Typing in a ∀Λ-Discipline / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+The subtyping problem for second-order types is undecidable.
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank