Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453): Difference between revisions

@@ Property / cites work @@
+Q4225147
@@ Property / cites work: Q4225147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for idealized Algol with passive expressions
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+On the symmetry of sequentiality
@@ Property / cites work: On the symmetry of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225150
@@ Property / cites work: Q4225150 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5316371
@@ Property / cites work: Q5316371 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ubiquity of certain total type structures
@@ Property / cites work: On the ubiquity of certain total type structures / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing hierarchies of types in models of linear logic
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic account of program modules
@@ Property / cites work: A category-theoretic account of program modules / 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 @@
+Monadic encapsulation of effects: a revised approach (extended version)
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+On a monadic semantics for freshness
@@ Property / cites work: On a monadic semantics for freshness / rank @@
+Normal rank
@@ Property / cites work @@
+Free-algebra models for the \(\pi \)-calculus
@@ Property / cites work: Free-algebra models for the \(\pi \)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank