Free Theorems and Runtime Type Representations (Q5262947): Difference between revisions

@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364397
@@ Property / cites work: Q4364397 / 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 @@
+Syntactic Logical Relations for Polymorphic and Recursive Types
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+Normal rank
@@ Property / cites work @@
+Q2871864
@@ Property / cites work: Q2871864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012883
@@ Property / cites work: Q4012883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / 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 @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Meta-programming With Built-in Type Equality
@@ Property / cites work: Meta-programming With Built-in Type Equality / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Extended Algebraic Data Types
@@ Property / cites work: A Framework for Extended Algebraic Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763693
@@ Property / cites work: Q2763693 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank