More type-checking papers