Coinductive Control of Inductive Data Types.

Paige Randall North, Maximilien Proux

Browse the full CALCO paper archive.