Sign in
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Giuseppe Castagna
Kim Nguyen
Zhiwu Xu
Hyeonseung Im
Sergueï Lenglet
Luca Padovani
Published in:
POPL (2014)
Keyphrases
</>
set theoretic
image recovery
language constructs
pattern recognition
data analysis
principal component analysis
decision rules
image reconstruction