A type-sound calculus of computational fields

   page       BibTeX_logo.png   
@article{compfields-scp117,
Author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
Doi = {10.1016/j.scico.2015.11.005},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
Pages = {17--44},
Title = {A type-sound calculus of computational fields},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
Volume = 117,
Year = 2016}