2 ms·Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell [pdf]3 points by matt_d 7y ago