Integrating Linear and Dependent Types.

Neelakantan R. Krishnaswami Pierre Pradic Nick Benton

Published in: POPL (2015)

Keyphrases

databases
information technology
piecewise linear
e learning
wide range
data structure
linear model
linear constraints
statistically independent