Login / Signup
Dependent Types for Distributed Arrays.
Wouter Swierstra
Thorsten Altenkirch
Published in:
Trends in Functional Programming (2008)
Keyphrases
</>
cooperative
multi agent
distributed systems
communication overhead
database
case study
database systems
mobile agents
distributed learning
loosely coupled
distributed database systems
distributed environment
relational databases
data structure
image processing
neural network
real time