Parametricity, type equality, and higher-order polymorphism (Q3564921): Difference between revisions

@@ Property / cites work @@
+Free theorems involving type constructor classes
@@ Property / cites work: Free theorems involving type constructor classes / rank @@
+Normal rank
@@ Property / cites work @@
+Type fixpoints
@@ Property / cites work: Type fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Free theorems in the presence of             <i>seq</i>
@@ Property / cites work: Free theorems in the presence of <i>seq</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for structured programming with GADTs
@@ Property / cites work: Foundations for structured programming with GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic values possess polykinded types
@@ Property / cites work: Polytypic values possess polykinded types / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and canonical forms in the LF type theory
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+Normal rank
@@ Property / cites work @@
+Parametricity and variants of Girard's \(J\) operator
+Normal rank
@@ Property / cites work @@
+Syntactic Logical Relations for Polymorphic and Recursive Types
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Typing dynamic typing
@@ Property / cites work: Typing dynamic typing / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Non-parametric parametricity
@@ Property / cites work: Non-parametric parametricity / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Type-safe cast</i>
@@ Property / cites work: FUNCTIONAL PEARL <i>Type-safe cast</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Free Theorems and Runtime Type Representations
@@ Property / cites work: Free Theorems and Runtime Type Representations / rank @@
+Normal rank