Unbounded Data Nesting for Loops in Higher-Order Programs.

Adriana Baldacchino, Andrzej S. Murawski

Browse the full LICS paper archive.