Liquidate your assets: reasoning about resource usage in liquid Haskell.

Martin A. T. Handley Niki Vazou Graham Hutton

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

resource usage
resource management
resource allocation
resource consumption
functional programming
programming language
real time
mathematical model
access patterns
intelligent agents
resource sharing
databases
web services
response time
load balancing