14 search results - page 1 / 3 » A Concurrent Lambda Calculus with Futures |
100
click to vote
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
76
Voted
ENTCS
2007
15 years 10 days ago
2007
137
Voted
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
105
Voted
ICFP
2010
ACM
15 years 17 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
137
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...