Infinitary intersection types as sequences: A new answer to Klop's problem.

Published in: LICS (2017)

Keyphrases

hidden markov models
relational databases
real time
data mining
social networks
computer vision
database systems
expert systems
sequential patterns
sequence analysis
long sequences