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

#databases #plt