Safe Adaptation Through Implicit Effect Coercion (Q3460866): Difference between revisions

@@ Property / cites work @@
+Types and Effects for Resource Usage Analysis
@@ Property / cites work: Types and Effects for Resource Usage Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Linguistic Mechanisms for Context-Aware Security
@@ Property / cites work: Linguistic Mechanisms for Context-Aware Security / 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 @@
+A theory of typed coercions and its applications
@@ Property / cites work: A theory of typed coercions and its applications / rank @@
+Normal rank