Uniqueness typing for intersection types.

Richard Statman Andrew Polonsky

Published in: CoRR (2021)

Keyphrases

artificial intelligence
high quality
special case
databases
image processing
website
reinforcement learning
natural language
preprocessing
probabilistic model