Non-parametric parametricity (Q4918243): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for dynamic sealing
@@ Property / cites work: A bisimulation for dynamic sealing / rank @@
+Normal rank
@@ Property / cites work @@
+Acute: High-level programming language design for distributed computation
+Normal rank
@@ Property / cites work @@
+Relational interpretations of recursive types in an operational setting.
+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 @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and variants of Girard's \(J\) operator
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796811000165
+Normal rank
@@ Property / OpenAlex ID @@
+W2634443969
@@ Property / OpenAlex ID: W2634443969 / rank @@
+Normal rank