Synthesising incremental parsing and incremental type inferencing - Lu, Wei-Guo (1997)