C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
More dependent types for distributed arrays.
Wouter Swierstra
Published in:
High. Order Symb. Comput. (2010)
Keyphrases
</>
distributed systems
peer to peer
cooperative
distributed environment
data sets
information retrieval
genetic algorithm
e learning
multi agent
lightweight
distributed architecture