A systematic approach to deriving incremental type checkers.

André Pacak Sebastian Erdweg Tamás Szabó

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

incremental learning
real time
data sets
machine learning
information retrieval
decision making
high level
multiresolution
qualitative and quantitative