Login / Signup

Linearly qualified types: generic inference for capabilities and uniqueness.

Arnaud SpiwackCsongor KissJean-Philippe BernardyNicolas WuRichard A. Eisenberg
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • databases
  • image segmentation
  • bayesian networks
  • sufficient conditions
  • probabilistic inference
  • probabilistic reasoning