An extension of system F with subtyping (Q5096247): Difference between revisions

@@ Property / author @@
-Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
-Normal rank
@@ Property / author @@
+Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56982259
@@ Property / Wikidata QID: Q56982259 / 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/3-540-54415-1_73
+Normal rank
@@ Property / OpenAlex ID @@
+W4206115163
@@ Property / OpenAlex ID: W4206115163 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855343
@@ Property / cites work: Q4855343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural polymorphism
@@ Property / cites work: Structural polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692468
@@ Property / cites work: Q4692468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827990
@@ Property / cites work: Q3827990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096247