The Challenge of Typed Expressiveness in Concurrency.

Jorge A. Pérez

Published in: FORTE (2016)

Keyphrases

expressive power
neural network
concurrency control
higher order
data flow
database systems
e learning
case study
data sets
data structure
data model
computer vision
search engine
information retrieval
machine learning
dynamic allocation
lambda calculus