Improving type error messages for generic Java (Q1929365): 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 @@
+JastAdd
@@ Property / describes a project that uses: JastAdd / 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/s10990-011-9070-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2053553588
@@ Property / OpenAlex ID: W2053553588 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving type error messages for generic Java
@@ Property / cites work: Improving type error messages for generic Java / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining type inference
@@ Property / cites work: Explaining type inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417900
@@ Property / cites work: Q4417900 / rank @@
+Normal rank
@@ Property / cites work @@
+JastAdd -- an aspect-oriented compiler construction system.
+Normal rank
@@ Property / cites work @@
+Scripting the type inference process
@@ Property / cites work: Scripting the type inference process / 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 @@
+Skalpel: a constraint-based type error slicer for standard ML
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Explaining Polymorphic Types
@@ Property / cites work: Explaining Polymorphic Types / rank @@
+Normal rank