Sign in
Constrained Polymorphic Types for a Calculus with Name Variables.
Davide Ancona
Paola Giannini
Elena Zucca
Published in:
TYPES (2015)
Keyphrases
</>
artificial intelligence
data sets
databases
variable selection