Sign in
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
Han Xu
Xuejing Huang
Bruno C. d. S. Oliveira
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
multiple types
convex functions
information retrieval
wide range
data sets
database
multimedia
arithmetic operations
probability distribution
relational databases
database systems
high level
e learning
decision making
information systems
artificial intelligence
machine learning
real time