Login / Signup
Linearly qualified types: generic inference for capabilities and uniqueness.
Arnaud Spiwack
Csongor Kiss
Jean-Philippe Bernardy
Nicolas Wu
Richard A. Eisenberg
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
databases
image segmentation
bayesian networks
sufficient conditions
probabilistic inference
probabilistic reasoning