Proving the Correctness of Reactive Systems Using Sized Types.

John Hughes, Lars Pareto, Amr Sabry

Browse the full POPL paper archive.