Geoff Hamilton

Hamilton G, Jones N.D..  2012.  Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Perspectives of Systems Informatics, Lecture Notes in Computer Science. 7162

Hamilton G.  2012.  A Hierarchy of Program Transfprmers. Third International Workshop on Metacomputation.

Hamilton G, Jones N.D..  2012.  Distillation with Labelled Transition Systems. Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation.

Mendel-Gleason G, Hamilton G.  2012.  Development of the Productive Forces. Third International Workshop on Metacomputation.

Dever M, Hamilton G.  2012.  A Comparison of Program Transformation Systems. 3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics.

Dever M, Hamilton G.  2012.  Aumotating the Parallelization of Functional Programs. 13th Symposium on Trends in Functional Programming13th Symposium on Trends in Functional Programming.

Hamilton G, Mendel-Gleason G.  2010.  A Graph-Based Definition of Distillation. META 2010: The Second International Workshop on Metacomputation.

Mendel-Gleason G, Hamilton G.  2010.  Supercompilation and Normalisation by Evaluation. Proceedings of the Second International Workshop on Metacomputation in Russia.

Hamilton G.  2009.  Extracting the Essence of Distillation. Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System InformaticsProceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics.

Hamilton G, Kabir M.H.  2008.  Constructing Programs From Metasystem Transition Proofs. First International Workshop on Metacomputation in RussiaFirst International Workshop on Metacomputation in Russia.