The top documents tagged [type inference chap]