Adding Equations to System F Types.

Neelakantan R. Krishnaswami Nick Benton

Published in: ESOP (2012)

Keyphrases

object recognition
mathematical model
multiple types
data sets
neural network
information retrieval
cooperative
digital libraries