Linear types for computational effects.

Published in: POPL (2009)

Keyphrases

database
e learning
objective function
optimal solution
least squares
linear model
computational power
linear models
linear systems
linear constraints