Specification and end-to-end proof of a reactive language and its compiler (invited talk).

Timothy Bourke

Browse the full OOPSLA paper archive.