Geoff Hamilton
.
2012. Distillation with Labelled Transition Systems. Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation. :pp15-24.
.
2012. Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Lecture Notes in Computer Science . 7162:pp153–169.
.
2010. A Graph-Based Definition of Distillation. META 2010: The Second International Workshop on Metacomputation.
.
2010. Supercompilation and Normalisation by Evaluation. Proceedings of the Second International Workshop on Metacomputation in Russia.
.
2009. Extracting the Essence of Distillation. Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics.
.
2008. Constructing Programs From Metasystem Transition Proofs. First International Workshop on Metacomputation in Russia.
Printer-friendly version