Using Standard Typing Algorithms Incrementally

Matteo Busi, Pierpaolo Degano, Letterio Galletta

Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of p…