Q4580227 (Q4580227): Difference between revisions

@@ Property / describes a project that uses @@
+cap-typechecking
@@ Property / describes a project that uses: cap-typechecking / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09026
@@ Property / arXiv ID: 1704.09026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837984
@@ Property / cites work: Q3837984 / 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 @@
+Subtyping recursion and parametric polymorphism in kernel Fun
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580227
@@ Property / cites work: Q4580227 / rank @@
+Normal rank
@@ Property / cites work @@
+First-class patterns
@@ Property / cites work: First-class patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Calculus
@@ Property / cites work: Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with patterns
@@ Property / cites work: Lambda calculus with patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and flexible matching of recursive types
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Type soundness for path polymorphism
@@ Property / cites work: Type soundness for path polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4580227