Coercions in a polymorphic type system (Q3520150): Difference between revisions

@@ Property / cites work @@
+Coercion completion and conservativity in coercive subtyping
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Transitivity in coercive subtyping
@@ Property / cites work: Transitivity in coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence and transitivity of subtyping as entailment
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+An implementation of LF with coercive subtyping and universes
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / 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 @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129508006804
+Normal rank
@@ Property / OpenAlex ID @@
+W2135683026
@@ Property / OpenAlex ID: W2135683026 / rank @@
+Normal rank