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

@@ Property / DOI @@
-.1016/j.entcs.2007.02.043
@@ Property / DOI: 10.1016/j.entcs.2007.02.043 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PoplMark
@@ Property / describes a project that uses: PoplMark / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RepLib
@@ Property / describes a project that uses: RepLib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.02.043
+Normal rank
@@ Property / OpenAlex ID @@
+W2131441325
@@ Property / OpenAlex ID: W2131441325 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2007.02.043
@@ Property / DOI: 10.1016/J.ENTCS.2007.02.043 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5262947