Pure Pointer Programs with Iteration.

Martin Hofmann, Ulrich Schpp

Browse the full CSL paper archive.