@inproceedings{Hammond00,
  title = {The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour},
  author = {Kevin Hammond},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2011/20110122.htm},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Hammond00},
  cites = {0},
  citedby = {0},
  pages = {122-139},
  booktitle = {Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
  editor = {Markus Mohnen and Pieter W. M. Koopman},
  volume = {2011},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41919-5},
}

@inproceedings{LoidlH95,
  title = {On the Granularity of Divide-and-Conquer Parallelism},
  author = {Hans-Wolfgang Loidl and Kevin Hammond},
  year = {1995},
  researchr = {https://researchr.org/publication/LoidlH95},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {Functional Programming, Glasgow 1995},
  editor = {David N. Turner},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-14580-X},
}

@inproceedings{BradyH06,
  title = {A verified staged interpreter is a verified compiler},
  author = {Edwin Brady and Kevin Hammond},
  year = {2006},
  doi = {10.1145/1173706.1173724},
  url = {http://doi.acm.org/10.1145/1173706.1173724},
  tags = {interpreter, compiler},
  researchr = {https://researchr.org/publication/BradyH06},
  cites = {0},
  citedby = {0},
  pages = {111-120},
  booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
  editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
  publisher = {ACM},
  isbn = {1-59593-237-2},
}

@inproceedings{Hammond07,
  title = {SymGrid: A Framework for Symbolic Computations on the Grid},
  author = {Kevin Hammond},
  year = {2007},
  doi = {10.1109/SYNASC.2007.86},
  url = {http://dx.doi.org/10.1109/SYNASC.2007.86},
  researchr = {https://researchr.org/publication/Hammond07},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007},
  editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3078-9},
}

@article{HammondR84,
  title = {A Survey on Syntactic Error Recovery and Repair},
  author = {Kevin Hammond and Victor J. Rayward-Smith},
  year = {1984},
  tags = {survey},
  researchr = {https://researchr.org/publication/HammondR84},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {9},
  number = {1},
  pages = {51-67},
}

@inproceedings{BradyH05,
  title = {A Dependently Typed Framework for Static Analysis of Program Execution Costs},
  author = {Edwin Brady and Kevin Hammond},
  year = {2005},
  doi = {10.1007/11964681_5},
  url = {http://dx.doi.org/10.1007/11964681_5},
  tags = {programming languages, rule-based, program analysis, analysis, static analysis, type system},
  researchr = {https://researchr.org/publication/BradyH05},
  cites = {0},
  citedby = {0},
  pages = {74-90},
  booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers},
  editor = {Andrew Butterfield and Clemens Grelck and Frank Huch},
  volume = {4015},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-69174-X},
}

@inproceedings{LoidlH96,
  title = {Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer},
  author = {Hans-Wolfgang Loidl and Kevin Hammond},
  year = {1996},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/LoidlH96},
  cites = {0},
  citedby = {0},
  pages = {184-199},
  booktitle = {Implementation of Functional Languages, 8th International Workshop, IFL 96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers},
  editor = {Werner E. Kluge},
  volume = {1268},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63237-9},
}

@inproceedings{HammondZCPT07,
  title = {SymGrid: A Framework for Symbolic Computation on the Grid},
  author = {Kevin Hammond and Abdallah Al Zain and Gene Cooperman and Dana Petcu and Philip W. Trinder},
  year = {2007},
  doi = {10.1007/978-3-540-74466-5_49},
  url = {http://dx.doi.org/10.1007/978-3-540-74466-5_49},
  researchr = {https://researchr.org/publication/HammondZCPT07},
  cites = {0},
  citedby = {0},
  pages = {457-466},
  booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings},
  editor = {Anne-Marie Kermarrec and Luc Bougé and Thierry Priol},
  volume = {4641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74465-8},
}

@article{HammondBL03,
  title = {Automatic Skeletons in Template Haskell},
  author = {Kevin Hammond and Jost Berthold and Rita Loogen},
  year = {2003},
  doi = {10.1142/S0129626403001380},
  url = {http://dx.doi.org/10.1142/S0129626403001380},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HammondBL03},
  cites = {0},
  citedby = {0},
  journal = {Parallel Processing Letters},
  volume = {13},
  number = {3},
  pages = {413-424},
}

@inproceedings{Hammond02:0,
  title = {Parallel Programming: Models, Methods and Programming Languages},
  author = {Kevin Hammond},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2400/24000603.htm},
  tags = {programming languages, modeling language, language modeling, parallel programming, programming},
  researchr = {https://researchr.org/publication/Hammond02%3A0},
  cites = {0},
  citedby = {0},
  pages = {603-604},
  booktitle = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings},
  editor = {Burkhard Monien and Rainer Feldmann},
  volume = {2400},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44049-6},
}

@inproceedings{SimoesHFV06,
  title = {Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs},
  author = {Hugo R. Simões and Kevin Hammond and Mário Florido and Pedro B. Vasconcelos},
  year = {2006},
  doi = {10.1007/978-3-540-74464-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-74464-1_15},
  tags = {program analysis, functional programming, analysis},
  researchr = {https://researchr.org/publication/SimoesHFV06},
  cites = {0},
  citedby = {0},
  pages = {221-236},
  booktitle = {Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
  editor = {Thorsten Altenkirch and Conor McBride},
  volume = {4502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74463-4},
}

@inproceedings{BonenfantCHMWW07,
  title = {Towards resource-certified software: a formal cost model for time and its application to an image-processing example},
  author = {Armelle Bonenfant and Zezhi Chen and Kevin Hammond and Greg Michaelson and Andrew M. Wallace and Iain Wallace},
  year = {2007},
  doi = {10.1145/1244002.1244285},
  url = {http://doi.acm.org/10.1145/1244002.1244285},
  tags = {process modeling},
  researchr = {https://researchr.org/publication/BonenfantCHMWW07},
  cites = {0},
  citedby = {0},
  pages = {1307-1314},
  booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
  editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
  publisher = {ACM},
  isbn = {1-59593-480-4},
}

@inproceedings{HallHJW94,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1994},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW94},
  cites = {0},
  citedby = {0},
  pages = {241-256},
  booktitle = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@inproceedings{HammondM02,
  title = {Predictable Space Behaviour in FSM-Hume},
  author = {Kevin Hammond and Greg Michaelson},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=1},
  researchr = {https://researchr.org/publication/HammondM02},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@inproceedings{HammondDFHHJLMPSSW05,
  title = {The Embounded project (project start paper)},
  author = {Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold Heckmann and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert F. Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace},
  year = {2005},
  researchr = {https://researchr.org/publication/HammondDFHHJLMPSSW05},
  cites = {0},
  citedby = {0},
  pages = {195-210},
  booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005},
  editor = {Marko C. J. D. van Eekelen},
  volume = {6},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-176-5},
}

@inproceedings{PortilloHLV02,
  title = {Cost Analysis Using Automatic Size and Time Inference},
  author = {Álvaro J. Rebón Portillo and Kevin Hammond and Hans-Wolfgang Loidl and Pedro B. Vasconcelos},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=232},
  tags = {analysis},
  researchr = {https://researchr.org/publication/PortilloHLV02},
  cites = {0},
  citedby = {0},
  pages = {232-248},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@inproceedings{MichaelsonHS03,
  title = {FSM-Hume is finite state},
  author = {Greg Michaelson and Kevin Hammond and Jocelyn Sérot},
  year = {2003},
  researchr = {https://researchr.org/publication/MichaelsonHS03},
  cites = {0},
  citedby = {0},
  pages = {19-28},
  booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003},
  editor = {Stephen Gilmore},
  volume = {4},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-122-0},
}

@inproceedings{CopeGH00,
  title = {Parallel heuristic search in Haskell},
  author = {Michelle Cope and Ian P. Gent and Kevin Hammond},
  year = {2000},
  tags = {Haskell, search},
  researchr = {https://researchr.org/publication/CopeGH00},
  cites = {0},
  citedby = {0},
  pages = {65-76},
  booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
  editor = {Stephen Gilmore},
  volume = {2},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-058-5},
}

@inproceedings{BonenfantFHH06,
  title = {Worst-Case Execution Times for a Purely Functional Language},
  author = {Armelle Bonenfant and Christian Ferdinand and Kevin Hammond and Reinhold Heckmann},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_14},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_14},
  researchr = {https://researchr.org/publication/BonenfantFHH06},
  cites = {0},
  citedby = {0},
  pages = {235-252},
  booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@article{LoidlTHJMJ99,
  title = {Engineering parallel symbolic programs in GPH},
  author = {Hans-Wolfgang Loidl and Philip W. Trinder and Kevin Hammond and Sahalu B. Junaidu and Richard G. Morgan and Simon L. Peyton Jones},
  year = {1999},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/LoidlTHJMJ99},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {11},
  number = {12},
  pages = {701-752},
}

@inproceedings{TrinderHMPJ96,
  title = {GUM: A Portable Parallel Implementation of Haskell},
  author = {Philip W. Trinder and Kevin Hammond and James S. Mattson Jr. and A. S. Partridge and Simon L. Peyton Jones},
  year = {1996},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/TrinderHMPJ96},
  cites = {0},
  citedby = {0},
  pages = {79-88},
  booktitle = {PLDI},
}

@inproceedings{Hammond91,
  title = {Efficient Type Inference Using Monads (Summary)},
  author = {Kevin Hammond},
  year = {1991},
  tags = {type inference},
  researchr = {https://researchr.org/publication/Hammond91},
  cites = {0},
  citedby = {0},
  pages = {146-157},
  booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991},
  editor = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19760-5},
}

@inproceedings{HammondFHDHJLMPSSW06,
  title = {Towards Formally Verifiable WCET Analysis for a Functional Programming Language},
  author = {Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert F. Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
  tags = {programming languages, program analysis, functional programming, analysis, programming},
  researchr = {https://researchr.org/publication/HammondFHDHJLMPSSW06},
  cites = {0},
  citedby = {0},
  booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany},
  editor = {Frank Mueller},
  volume = {06902},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{BhattiBHM09,
  title = {Domain Specific Languages (DSLs) for Network Protocols (Position Paper)},
  author = {Saleem Bhatti and Edwin Brady and Kevin Hammond and James McKinna},
  year = {2009},
  doi = {10.1109/ICDCSW.2009.64},
  url = {http://dx.doi.org/10.1109/ICDCSW.2009.64},
  tags = {protocol, DSL, domain-specific language},
  researchr = {https://researchr.org/publication/BhattiBHM09},
  cites = {0},
  citedby = {0},
  pages = {208-213},
  booktitle = {29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{HammondM03,
  title = {The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain},
  author = {Kevin Hammond and Greg Michaelson},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=127},
  tags = {language design, design, domain-specific language},
  researchr = {https://researchr.org/publication/HammondM03},
  cites = {0},
  citedby = {0},
  pages = {127-142},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@inproceedings{ZainHTLLC07,
  title = {SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids},
  author = {Abdallah Al Zain and Kevin Hammond and Philip W. Trinder and Steve Linton and Hans-Wolfgang Loidl and Marco Costanti},
  year = {2007},
  doi = {10.1007/978-3-540-72586-2_90},
  url = {http://dx.doi.org/10.1007/978-3-540-72586-2_90},
  tags = { algebra},
  researchr = {https://researchr.org/publication/ZainHTLLC07},
  cites = {0},
  citedby = {0},
  pages = {617-624},
  booktitle = {Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II},
  editor = {Yong Shi and G. Dick van Albada and Jack Dongarra and Peter M. A. Sloot},
  volume = {4488},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72585-5},
}

@article{HudakPWBFFGHHJKNPP92,
  title = {Report on the Programming Language Haskell, A Non-strict, Purely Functional Language},
  author = {Paul Hudak and Simon L. Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph H. Fasel and María M. Guzmán and Kevin Hammond and John Hughes and Thomas Johnsson and Richard B. Kieburtz and Rishiyur S. Nikhil and Will Partain and John Peterson},
  year = {1992},
  tags = {programming languages, functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/HudakPWBFFGHHJKNPP92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {27},
  number = {5},
  pages = {1},
}

@article{HartelFAABBCFGGHHIJKLLLLRSTTTWWW96,
  title = {Benchmarking Implementations of Functional Languages with  Pseudoknot , a Float-Intensive Benchmark},
  author = {Pieter H. Hartel and Marc Feeley and Martin Alt and Lennart Augustsson and Peter Baumann and Marcel Beemster and Emmanuel Chailloux and Christine H. Flood and Wolfgang Grieskamp and John H. G. van Groningen and Kevin Hammond and Bogumil Hausman and Melody Y. Ivory and Richard E. Jones and Jasper Kamperman and Peter Lee and Xavier Leroy and Rafael Dueire Lins and Sandra Loosemore and Niklas Röjemo and Manuel Serrano and Jean-Pierre Talpin and Jon Thackray and Stephen Thomas and Pum Walters and Pierre Weis and Peter Wentworth},
  year = {1996},
  researchr = {https://researchr.org/publication/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {6},
  number = {4},
  pages = {621-655},
}

@inproceedings{Hammond05,
  title = {Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach},
  author = {Kevin Hammond},
  year = {2005},
  doi = {10.1007/11894100_4},
  url = {http://dx.doi.org/10.1007/11894100_4},
  tags = {functional programming, programming, systematic-approach},
  researchr = {https://researchr.org/publication/Hammond05},
  cites = {0},
  citedby = {0},
  pages = {100-134},
  booktitle = {Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures},
  editor = {Zoltán Horváth},
  volume = {4164},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46843-9},
}

@inproceedings{VasconcelosH03,
  title = {Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs},
  author = {Pedro B. Vasconcelos and Kevin Hammond},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=86},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/VasconcelosH03},
  cites = {0},
  citedby = {0},
  pages = {86-101},
  booktitle = {Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
  editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena},
  volume = {3145},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23727-5},
}

@inproceedings{HammondGMI06,
  title = {Low-Level Programming in Hume: An Exploration of the HW-Hume Level},
  author = {Kevin Hammond and Gudmund Grov and Greg Michaelson and Andrew Ireland},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_6},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_6},
  tags = {programming},
  researchr = {https://researchr.org/publication/HammondGMI06},
  cites = {0},
  citedby = {0},
  pages = {91-107},
  booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@inproceedings{ZainTHKLB08,
  title = {Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System},
  author = {Abdallah Al Zain and Philip W. Trinder and Kevin Hammond and Alexander Konovalov and Steve Linton and Jost Berthold},
  year = {2008},
  doi = {10.1109/ISPA.2008.19},
  url = {http://dx.doi.org/10.1109/ISPA.2008.19},
  tags = { algebra},
  researchr = {https://researchr.org/publication/ZainTHKLB08},
  cites = {0},
  citedby = {0},
  pages = {99-112},
  booktitle = {IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Sydney, NSW, Australia, December 10-12, 2008},
  publisher = {IEEE},
}

@inproceedings{CarsteaFMPH07,
  title = {Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework},
  author = {Alexandru Cârstea and Marc Frîncu and Georgiana Macariu and Dana Petcu and Kevin Hammond},
  year = {2007},
  doi = {10.1109/ISPDC.2007.24},
  url = {http://dx.doi.org/10.1109/ISPDC.2007.24},
  tags = {rule-based, web service, web services},
  researchr = {https://researchr.org/publication/CarsteaFMPH07},
  cites = {0},
  citedby = {0},
  pages = {143-150},
  booktitle = {6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), Hagenberg, Austria, July 5-8, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{TrinderLBDHKJP00,
  title = {The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note)},
  author = {Philip W. Trinder and Hans-Wolfgang Loidl and Ed. Barry Jr. and Kei Davis and Kevin Hammond and Ulrike Klusik and Simon L. Peyton Jones and Álvaro J. Rebón Portillo},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1900/19000739.htm},
  tags = {architecture},
  researchr = {https://researchr.org/publication/TrinderLBDHKJP00},
  cites = {0},
  citedby = {0},
  pages = {739-743},
  booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings},
  editor = {Arndt Bode and Thomas Ludwig 0002 and Wolfgang Karl and Roland Wismüller},
  volume = {1900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67956-1},
}

@inproceedings{HammondT95,
  title = {Database Manipulation in Haskell 1.3},
  author = {Kevin Hammond and Philip W. Trinder},
  year = {1995},
  tags = {Haskell, database},
  researchr = {https://researchr.org/publication/HammondT95},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {Functional Programming, Glasgow 1995},
  editor = {David N. Turner},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-14580-X},
}

@inproceedings{HallHPJW92,
  title = {The Glasgow Haskell Compiler: A Retrospective},
  author = {Cordelia V. Hall and Kevin Hammond and Will Partain and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/HallHPJW92},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@article{HallHJW96,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1996},
  doi = {10.1145/227699.227700},
  url = {http://doi.acm.org/10.1145/227699.227700},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW96},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {18},
  number = {2},
  pages = {109-138},
}

@inproceedings{HammondMJ94,
  title = {Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer},
  author = {Kevin Hammond and James S. Mattson Jr. and Simon L. Peyton Jones},
  year = {1994},
  researchr = {https://researchr.org/publication/HammondMJ94},
  cites = {0},
  citedby = {0},
  pages = {521-532},
  booktitle = {Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings},
  editor = {Bruno Buchberger and Jens Volkert},
  volume = {854},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58430-7},
}

@inproceedings{HammondP99,
  title = {HaskSkel: Algorithmic Skeletons in Haskell},
  author = {Kevin Hammond and Álvaro J. Rebón Portillo},
  year = {1999},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HammondP99},
  cites = {0},
  citedby = {0},
  pages = {181-198},
  booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL 99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
  editor = {Pieter W. M. Koopman and Chris Clack},
  volume = {1868},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67864-6},
}

@inproceedings{HammondB89,
  title = {Implementing Haskell Type Classes},
  author = {Kevin Hammond and Stephen Blott},
  year = {1989},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HammondB89},
  cites = {0},
  citedby = {0},
  pages = {266-286},
  booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
  editor = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@inproceedings{HammondM03:0,
  title = {Hume: A Domain-Specific Language for Real-Time Embedded Systems},
  author = {Kevin Hammond and Greg Michaelson},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=37},
  tags = {domain-specific language},
  researchr = {https://researchr.org/publication/HammondM03%3A0},
  cites = {0},
  citedby = {0},
  pages = {37-56},
  booktitle = {Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
  editor = {Frank Pfenning and Yannis Smaragdakis},
  volume = {2830},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20102-5},
}

@inproceedings{MichaelsonHS04,
  title = {FSM-Hume: programming resource-limited systems using bounded automata},
  author = {Greg Michaelson and Kevin Hammond and Jocelyn Sérot},
  year = {2004},
  doi = {10.1145/967900.968192},
  url = {http://doi.acm.org/10.1145/967900.968192},
  tags = {programming},
  researchr = {https://researchr.org/publication/MichaelsonHS04},
  cites = {0},
  citedby = {0},
  pages = {1455-1461},
  booktitle = {Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004},
  editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock},
  publisher = {ACM},
  isbn = {1-58113-812-1},
}

@inproceedings{JunaiduDH97,
  title = {Naira: A Parallel² Haskell Compiler},
  author = {Sahalu B. Junaidu and Antony J. T. Davie and Kevin Hammond},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1467/14670214.htm},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/JunaiduDH97},
  cites = {0},
  citedby = {0},
  pages = {214-230},
  booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@inproceedings{HerrmannBHJLP07,
  title = {Automatic Amortised Worst-Case Execution Time Analysis},
  author = {Christoph A. Herrmann and Armelle Bonenfant and Kevin Hammond and Steffen Jost and Hans-Wolfgang Loidl and Robert F. Pointon},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1186},
  tags = {analysis},
  researchr = {https://researchr.org/publication/HerrmannBHJLP07},
  cites = {0},
  citedby = {0},
  booktitle = {7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007},
  editor = {Christine Rochange},
  volume = {07002},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{AkerholtHJT93,
  title = {Processing Transactions on GRIP, a Parallel Graph Reducer},
  author = {Gert Akerholt and Kevin Hammond and Simon L. Peyton Jones and Philip W. Trinder},
  year = {1993},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AkerholtHJT93},
  cites = {0},
  citedby = {0},
  pages = {634-647},
  booktitle = {PARLE  93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings},
  editor = {Arndt Bode and Mike Reeve and Gottfried Wolf},
  volume = {694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56891-3},
}

@inproceedings{HammondMST92,
  title = {Improving Persistent Data Manipulation for Functional Languages},
  author = {Kevin Hammond and Dave McNally and Patrick M. Sansom and Philip W. Trinder},
  year = {1992},
  tags = {data-flow language, persistent, data-flow},
  researchr = {https://researchr.org/publication/HammondMST92},
  cites = {0},
  citedby = {0},
  pages = {72-84},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@article{LoidlRSHHKLMPPPT03,
  title = {Comparing Parallel Functional Languages: Programming and Performance},
  author = {Hans-Wolfgang Loidl and Fernando Rubio and Norman Scaife and Kevin Hammond and Susumu Horiguchi and Ulrike Klusik and Rita Loogen and Greg Michaelson and Ricardo Pena and Steffen Priebe and Álvaro J. Rebón Portillo and Philip W. Trinder},
  year = {2003},
  doi = {10.1023/A:1025641323400},
  url = {http://dx.doi.org/10.1023/A:1025641323400},
  tags = {programming languages, functional programming, parallel programming, programming},
  researchr = {https://researchr.org/publication/LoidlRSHHKLMPPPT03},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {16},
  number = {3},
  pages = {203-251},
}

@inproceedings{LoidlKHLT00,
  title = {GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster},
  author = {Hans-Wolfgang Loidl and Ulrike Klusik and Kevin Hammond and Rita Loogen and Philip W. Trinder},
  year = {2000},
  researchr = {https://researchr.org/publication/LoidlKHLT00},
  cites = {0},
  citedby = {0},
  pages = {39-52},
  booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
  editor = {Stephen Gilmore},
  volume = {2},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-058-5},
}

@inproceedings{AkerholtHJT91,
  title = {A Parallel Functional Database on GRIP},
  author = {Gert Akerholt and Kevin Hammond and Simon L. Peyton Jones and Philip W. Trinder},
  year = {1991},
  tags = {database},
  researchr = {https://researchr.org/publication/AkerholtHJT91},
  cites = {0},
  citedby = {0},
  pages = {1-24},
  booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991},
  editor = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19760-5},
}

@inproceedings{Hammond03,
  title = {Is it time for real-time functional programming?},
  author = {Kevin Hammond},
  year = {2003},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Hammond03},
  cites = {0},
  citedby = {0},
  pages = {1-18},
  booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003},
  editor = {Stephen Gilmore},
  volume = {4},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-122-0},
}

@article{TrinderHLJ98,
  title = {Algorithms + Strategy = Parallelism},
  author = {Philip W. Trinder and Kevin Hammond and Hans-Wolfgang Loidl and Simon L. Peyton Jones},
  year = {1998},
  researchr = {https://researchr.org/publication/TrinderHLJ98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {1},
  pages = {23-60},
}
@proceedings{ifl:1998,
  title = {Implementation of Functional Languages, 10th International Workshop, IFL 98, London, UK, September 9-11, Selected Papers},
  year = {1999},
  researchr = {https://researchr.org/publication/ifl%3A1998},
  cites = {0},
  citedby = {0},
  booktitle = {Implementation of Functional Languages, 10th International Workshop, IFL 98, London, UK, September 9-11, Selected Papers},
  conference = {IFL},
  editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack},
  volume = {1595},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66229-4},
}

@proceedings{ifl:1997,
  title = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  year = {1998},
  researchr = {https://researchr.org/publication/ifl%3A1997},
  cites = {0},
  citedby = {0},
  booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  conference = {IFL},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@proceedings{sfp:2001,
  title = {Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001},
  year = {2002},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/sfp%3A2001},
  cites = {0},
  citedby = {0},
  booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001},
  conference = {sfp},
  editor = {Kevin Hammond and Sharon Curtis},
  volume = {3},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-070-4},
}