Login / Signup
Syntax and Semantics of Linear Dependent Types.
Matthijs Vákár
Published in:
CoRR (2014)
Keyphrases
</>
data sets
data structure
statistically independent
database
databases
web services
database systems
multiresolution
least squares
linear complexity