Towards concurrent type theory.

Luís Caires Frank Pfenning Bernardo Toninho

Published in: TLDI (2012)

Keyphrases

data sets
image processing
theoretical framework
theoretical foundation
machine learning
multi agent
programming language
computational model
information theory