Arrows for secure information flow (Q964489): Difference between revisions

@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+A new notation for arrows
@@ Property / cites work: A new notation for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for ML
@@ Property / cites work: Information flow inference for ML / rank @@
+Normal rank
@@ Property / cites work @@
+Translating dependency into parametricity
@@ Property / cites work: Translating dependency into parametricity / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank