Delimited control and computational effects (Q2875223): Difference between revisions

@@ Property / cites work @@
+A static simulation of dynamic delimited control
@@ Property / cites work: A static simulation of dynamic delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+A syntactic theory of dynamic binding
@@ Property / cites work: A syntactic theory of dynamic binding / 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 @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+PARLE. Parallel architectures and languages Europe. Eindhoven, The Netherlands, June 15-19, 1987. Proceedings. Volume I: Parallel architectures
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic foundation of delimited continuations
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank