Type soundness for path polymorphism (Q1744425): Difference between revisions

@@ Property / cites work @@
+The λ-calculus with constructors: Syntax, confluence and separation
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / 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 @@
+The rewriting calculus - part II
@@ Property / cites work: The rewriting calculus - part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778872
@@ Property / cites work: Q2778872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851046
@@ Property / cites work: Q2851046 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / 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 @@
+Pattern Calculus
@@ Property / cites work: Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+First-class patterns
@@ Property / cites work: First-class patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738226
@@ Property / cites work: Q4738226 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849860
@@ Property / cites work: Q2849860 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and flexible matching of recursive types
+Normal rank
@@ Property / cites work @@
+Semantics of Typed Lambda-Calculus with Constructors
+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