HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Geoff Hamilton

Publications
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem
Geoff Hamilton and Morten Heine Sørensen
In:VPT 2014. Second International Workshop on Verification and Program Transformation
On the Termination of Positive Supercompilation
Geoff Hamilton
In:VPT 2013. First International Workshop on Verification and Program Transformation
Cyclic Proofs and Coinductive Principles
Gavin Mendel-Gleason and Geoff Hamilton
In:PAR-10. Partiality and Recursion in Interactive Theorem Provers

Keyphrases

coinductive, constructive, higher-order, inductive, lambda calculus, Positive Supercompilation, program transformation, supercompilation, termination2, transition systems, types.

Copyright © 2012-2025 easychair.org. All rights reserved.