Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453): Difference between revisions

@@ 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.1016/j.ic.2004.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1976571588
@@ Property / OpenAlex ID: W1976571588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Compiling standard ML to Java bytecodes
@@ Property / cites work: Compiling standard ML to Java bytecodes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024900
@@ Property / cites work: Q3024900 / rank @@
+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 @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+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 @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of kernel Fun subtype checking
@@ Property / cites work: Complexity of kernel Fun subtype checking / 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 @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded quantification is undecidable
@@ Property / cites work: Bounded quantification is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The subtyping problem for second-order types is undecidable.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1780453