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

@@ Property / DOI @@
-.1016/j.tcs.2006.08.016
@@ Property / DOI: 10.1016/j.tcs.2006.08.016 / rank @@
-Normal rank
@@ Property / author @@
+Jan Schwinghammer
@@ Property / author: Jan Schwinghammer / rank @@
+Normal rank
@@ Property / author @@
+Gert Smolka
@@ Property / author: Gert Smolka / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JoCaml
@@ Property / describes a project that uses: JoCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oz
@@ Property / describes a project that uses: Oz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pict
@@ Property / describes a project that uses: Pict / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Multilisp
@@ Property / describes a project that uses: Multilisp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1980339691
@@ Property / OpenAlex ID: W1980339691 / 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 @@
+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
@@ Property / DBLP publication ID @@
+journals/tcs/NiehrenSS06
@@ Property / DBLP publication ID: journals/tcs/NiehrenSS06 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.08.016
@@ Property / DOI: 10.1016/J.TCS.2006.08.016 / rank @@
+Normal rank