Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2025

Number of items: 1.

2025

Castro-Perez, David, Paviotti, Marco, Vollmer, Michael (2025) Program Optimisations via Hylomorphisms for Extraction of Executable Code. In: 16th International Conference on Interactive Theorem Proving, 27 Sep - 3 Oct 2025, REYKJAVIK, ICELAND. (KAR id:105615)

This list was generated on Wed Apr 22 00:04:18 2026 BST.