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

@@ 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