Proofs of a set of hybrid let-polymorphic type inference algorithms (Q1762932): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional explanation of types and algorithmic debugging of type errors
+Normal rank
@@ Property / cites work @@
+Explaining type inference
@@ Property / cites work: Explaining type inference / 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 @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q2763643
@@ Property / cites work: Q2763643 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with partial types
@@ Property / cites work: Type inference with partial types / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf03037279
+Normal rank
@@ Property / OpenAlex ID @@
+W1980574179
@@ Property / OpenAlex ID: W1980574179 / rank @@
+Normal rank