Polymorphic type inference with overloading and subtyping (Q5044772): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ 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/3-540-56610-4_97
+Normal rank
@@ Property / OpenAlex ID @@
+W1595983599
@@ Property / OpenAlex ID: W1595983599 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with subtypes
@@ Property / cites work: Type inference with subtypes / 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 @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677139
@@ Property / cites work: Q3677139 / rank @@
+Normal rank