Login / Signup

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe CastagnaKim NguyenZhiwu XuHyeonseung ImSergueï LengletLuca Padovani
Published in: POPL (2014)
Keyphrases
  • set theoretic
  • image recovery
  • language constructs
  • pattern recognition
  • data analysis
  • principal component analysis
  • decision rules
  • image reconstruction