On the decidability of subtyping with bounded existential types and implementation constraints (Q1758661): Difference between revisions

@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / 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/s00354-010-0100-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2041341597
@@ Property / OpenAlex ID: W2041341597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing object encodings.
@@ Property / cites work: Comparing object encodings. / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded existentials and minimal typing
@@ Property / cites work: Bounded existentials and minimal typing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Type classes with existential types
@@ Property / cites work: Type classes with existential types / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded quantification is undecidable
@@ Property / cites work: Bounded quantification is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+A REMARK ON "THE PARAMETER DEPENDENCE OF THE COEFFICIENT IN A MODEL FOR CONSTANT PRESSURE STEAM INJECTION IN SOIL"
+Normal rank
@@ Property / cites work @@
+On the decidability of subtyping with bounded existential types and implementation constraints
+Normal rank