Parameterised notions of computation (Q3638920): Difference between revisions

@@ Property / cites work @@
+The marriage of effects and monads
@@ Property / cites work: The marriage of effects and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+From CML to its process algebra
@@ Property / cites work: From CML to its process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphism and separation in hoare type theory
@@ Property / cites work: Polymorphism and separation in hoare type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness logic
@@ Property / cites work: Uniqueness logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank