The Sky is the Limit
Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer · 2017
In this paper we present a static analysis for costs of higher-order workflows, where costs are maps from resource types to simple functions over time. We present a type and effect system together with an algorithm that yields safe approximations for the cost functions of programs.