System F with type equality coercions.

Martin Sulzmann Manuel M. T. Chakravarty Simon L. Peyton Jones Kevin Donnelly

Published in: TLDI (2007)

Keyphrases

neural network
image processing
real time
data sets
databases
information systems
feature selection
fixpoint
type checking
database query languages