Login / Signup

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.

Jana DunfieldNeelakantan R. Krishnaswami
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • real time
  • data sets
  • multiscale
  • information retrieval systems
  • significantly higher
  • data mining
  • information retrieval
  • social networks
  • image segmentation
  • image sequences
  • regular expressions
  • tree automata