Types in red | ACM SIGPLAN Notices | DeepDyve