Types and Effects for Resource Usage Analysis.

Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino

Browse the full FOSSACS paper archive.