Recasting ML\(^{\text F}\) (Q1023287): Difference between revisions

@@ Property / cites work @@
+Q4912847
@@ Property / cites work: Q4912847 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-explicit first-class polymorphism for ML.
@@ Property / cites work: Semi-explicit first-class polymorphism for ML. / rank @@
+Normal rank
@@ Property / cites work @@
+Practical type inference for arbitrary-rank types
@@ Property / cites work: Practical type inference for arbitrary-rank types / rank @@
+Normal rank
@@ Property / cites work @@
+ML             <sup>F</sup>
@@ Property / cites work: ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+A type directed translation of MLF to system F
@@ Property / cites work: A type directed translation of MLF to system F / rank @@
+Normal rank
@@ Property / cites work @@
+HMF
@@ Property / cites work: HMF / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible types
@@ Property / cites work: Flexible types / rank @@
+Normal rank
@@ Property / cites work @@
+Qualified types for MLF
@@ Property / cites work: Qualified types for MLF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447250
@@ Property / cites work: Q4447250 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / 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 @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Colored local type inference
@@ Property / cites work: Colored local type inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142167
@@ Property / cites work: Q3142167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded quantification is undecidable
@@ Property / cites work: Bounded quantification is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281484
@@ Property / cites work: Q4281484 / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified type inference for generalized algebraic data types
+Normal rank
@@ Property / cites work @@
+Q4490734
@@ Property / cites work: Q4490734 / rank @@
+Normal rank
@@ Property / cites work @@
+From ML to ML             <sup>F</sup>
@@ Property / cites work: From ML to ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+A Church-Style Intermediate Language for ML F
@@ Property / cites work: A Church-Style Intermediate Language for ML F / rank @@
+Normal rank
@@ Property / cites work @@
+Boxy types
@@ Property / cites work: Boxy types / rank @@
+Normal rank
@@ Property / cites work @@
+FPH
@@ Property / cites work: FPH / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737219
@@ Property / cites work: Q4737219 / rank @@
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank