Formalizing Soundness of Contextual Effects (Q3543663): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-71067-7_22
+Normal rank
@@ Property / OpenAlex ID @@
+W1802969127
@@ Property / OpenAlex ID: W1802969127 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering formal metatheory
@@ Property / cites work: Engineering formal metatheory / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Narratives with the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Existential Label Flow Inference Via CFL Reachability
+Normal rank
@@ Property / cites work @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual effects for version-consistent dynamic software updating and safe concurrent programming
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and trace effects of higher order programs
@@ Property / cites work: Types and trace effects of higher order programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729060
@@ Property / cites work: Q2729060 / rank @@
+Normal rank
@@ Property / cites work @@
+The type and effect discipline
@@ Property / cites work: The type and effect discipline / rank @@
+Normal rank