Sign in
Linear Rank Intersection Types.
Fábio Reis
Sandra Alves
Mário Florido
Published in:
TYPES (2022)
Keyphrases
</>
piecewise linear
data sets
linear systems
database
artificial intelligence
case study
multiscale
quadratic programming