Dependent types for distributed arrays (0)

by W Swierstra, T Altenkirch
Venue:In Trends in Functional Programming