Open and closed scopes for constrained genericity (Q1606127): Difference between revisions

@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TIL
@@ Property / describes a project that uses: TIL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible type analysis
@@ Property / cites work: Flexible type analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Kinded type inference for parametric overloading
@@ Property / cites work: Kinded type inference for parametric overloading / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490720
@@ Property / cites work: Q4490720 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Reconstruction for Type Classes
@@ Property / cites work: Type Reconstruction for Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Deciding type equivalence in a language with singleton kinds
+Normal rank