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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04027-6_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1481698781
@@ Property / OpenAlex ID: W1481698781 / rank @@
+Normal rank
@@ 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