Accurate Step Counting

Catherine Hope, Graham Hutton. Accurate Step Counting. In Andrew Butterfield, Clemens Grelck, Frank Huch, editors, Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Volume 4015 of Lecture Notes in Computer Science, pages 91-105, Springer, 2005. [doi]


Abstract is missing.