A concurrent lambda calculus with futures

@article{Niehren2006ACL,
  title={A concurrent lambda calculus with futures},
  author={Joachim Niehren and Jan Schwinghammer and Gert Smolka},
  journal={Theor. Comput. Sci.},
  year={2006},
  volume={364},
  pages={338-356}
}
BETA

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 67 CITATIONS

No More, No Less - A Formal Model for Serverless Computing

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

On generic context lemmas for higher-order calculi with sharing

  • Theor. Comput. Sci.
  • 2010
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Links: Web Programming Without Tiers

VIEW 3 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2004
2019

CITATION STATISTICS

  • 8 Highly Influenced Citations

  • Averaged 3 Citations per year over the last 3 years

Similar Papers

Loading similar papers…