A systematic approach to deriving incremental type checkers (2020) (via icefox) — discussion
#databases #plt
