Gradual mode types for energy-aware programming.

Anthony Canino

Browse the full OOPSLA paper archive.