Cost analysis.md « Type theory « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/Type theory/Cost analysis.md

blob: 6e92c792edac49e5e05f7959fcfe1690e211d8a8 (plain)

# Reference

1. [Liquidate Your Assets: Reasoning about Resource Usage in Liquid Haskell](http://www.cs.nott.ac.uk/~pszgmh/liquidate.pdf)