Dependent Types for Distributed Arrays

Cached

Download Links

by Wouter Swierstra , Thorsten Altenkirch
Citations:6 - 3 self