A Resource-aware Program Logic for a JVM-like Language (2003)

by D Aspinall, L Beringer, M Hofmann, H-W Loidl
Venue:In Trends in Functional Programming, Volume 4. Intellect