أرسل هذا في رسالة قصيرة: Synthesising incremental parsing and incremental type inferencing /