Liquidate your assets: reasoning about resource usage in liquid Haskell | Publicación