Login / Signup
An existential crisis resolved: type inference for first-class existential types.
Richard A. Eisenberg
Guillaume Duboc
Stephanie Weirich
Daniel Lee
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
query answering
bayesian networks
multiple types
information systems
special case
efficient learning