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

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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.1016/j.tcs.2010.01.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2060493407
@@ Property / OpenAlex ID: W2060493407 / rank @@
+Normal rank
@@ 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