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

@@ Property / author @@
+Davide Basile
@@ Property / author: Davide Basile / rank @@
+Normal rank
@@ 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-319-25527-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2295404224
@@ Property / OpenAlex ID: W2295404224 / rank @@
+Normal rank
@@ 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