A type-sound calculus of computational fields

@article{Damiani2016ATC,
  title={A type-sound calculus of computational fields},
  author={Ferruccio Damiani and Mirko Viroli and Jacob Beal},
  journal={Sci. Comput. Program.},
  year={2016},
  volume={117},
  pages={17-44}
}
Article history: Received 14 February 2014 Received in revised form 31 October 2015 Accepted 9 November 2015 Available online xxxx 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Figures and tables from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 57 references

Starlisp reference manual

  • C. Lasser, J. Massar, J. Miney, L. Dayton
  • Thinking Machines Corporation
  • 1988
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…