Unboundedness for Recursion Schemes: A Simpler Type System.

David Barozzini, Pawel Parys, Jan Wroblewski

Browse the full ICALP paper archive.