Program Optimisations via Hylomorphisms for Extraction of Executable Code.

David Castro-Perez, Marco Paviotti, Michael Vollmer

Browse the full ITP paper archive.