A systematic approach to deriving incremental type checkers (2020)dl.acm.org22 pointsPaulHoule2 years ago