A concurrent lambda calculus with futures (Q860851): Difference between revisions

@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with explicit recursion
@@ Property / cites work: Lambda calculus with explicit recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222780
@@ Property / cites work: Q4222780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671826
@@ Property / cites work: Q4671826 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of future and an application
@@ Property / cites work: The semantics of future and an application / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit typing à la ML for the join-calculus
@@ Property / cites work: Implicit typing à la ML for the join-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of Scheme with future
@@ Property / cites work: The semantics of Scheme with future / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform confluence in concurrent computation
@@ Property / cites work: Uniform confluence in concurrent computation / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Programming in ML
@@ Property / cites work: Concurrent Programming in ML / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank