Liquid Resource Types

Tristan Knoth, Di Wang, Adam Reynolds +2

This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade au…