Login / Signup
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.
Giuseppe Castagna
Kim Nguyen
Zhiwu Xu
Pietro Abate
Published in:
POPL (2015)
Keyphrases
</>
set theoretic
data sets
computational intelligence
image reconstruction
neural network
high resolution
probabilistic model
probability distribution