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