Divergence of \(F_{\leq}\) type checking (Q673966): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigmatic object-oriented programming language: Design, static typing and semantics
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+A semantic basis for Quest
@@ Property / cites work: A semantic basis for Quest / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of system \(F\) with subtyping
@@ Property / cites work: An extension of system \(F\) with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)
+Normal rank
@@ Property / cites work @@
+Type theories and object-oriented programmimg
@@ Property / cites work: Type theories and object-oriented programmimg / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281471
@@ Property / cites work: Q4281471 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence of \(F_{\leq}\) type checking
@@ Property / cites work: Divergence of \(F_{\leq}\) type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855349
@@ Property / cites work: Q4855349 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded quantification is undecidable
@@ Property / cites work: Bounded quantification is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank