publications:
- title: "The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2011/20110122.htm"
  links:
    doi: "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:
  - name: "Markus Mohnen"
    link: "https://researchr.org/alias/markus-mohnen"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  volume: "2011"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41919-5"
  kind: "inproceedings"
  key: "Hammond00"
- title: "On the Granularity of Divide-and-Conquer Parallelism"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "1995"
  researchr: "https://researchr.org/publication/LoidlH95"
  cites: 0
  citedby: 0
  pages: "8"
  booktitle: "Functional Programming, Glasgow 1995"
  editor:
  - name: "David N. Turner"
    link: "https://researchr.org/alias/david-n.-turner"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-14580-X"
  kind: "inproceedings"
  key: "LoidlH95"
- title: "A verified staged interpreter is a verified compiler"
  author:
  - name: "Edwin Brady"
    link: "http://www.cs.st-andrews.ac.uk/~eb"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173724"
  links:
    doi: "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:
  - name: "Stan Jarzabek"
    link: "https://researchr.org/alias/stan-jarzabek"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  publisher: "ACM"
  isbn: "1-59593-237-2"
  kind: "inproceedings"
  key: "BradyH06"
- title: "SymGrid: A Framework for Symbolic Computations on the Grid"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/SYNASC.2007.86"
  links:
    doi: "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:
  - name: "Viorel Negru"
    link: "https://researchr.org/alias/viorel-negru"
  - name: "Tudor Jebelean"
    link: "https://researchr.org/alias/tudor-jebelean"
  - name: "Dana Petcu"
    link: "https://researchr.org/alias/dana-petcu"
  - name: "Daniela Zaharie"
    link: "https://researchr.org/alias/daniela-zaharie"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3078-9"
  kind: "inproceedings"
  key: "Hammond07"
- title: "A Survey on Syntactic Error Recovery and Repair"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Victor J. Rayward-Smith"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "HammondR84"
- title: "A Dependently Typed Framework for Static Analysis of Program Execution Costs"
  author:
  - name: "Edwin Brady"
    link: "http://www.cs.st-andrews.ac.uk/~eb"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11964681_5"
  abstract: "This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) proofs of properties with a program; we present a dependently typed core language TT, and define a framework within this language for representing size metrics and their properties. We give several examples of size bounded programs within this framework and show that we can construct proofs of their size bounds within TT. We further show how the framework handles recursive higher order functions and sum types, and contrast our system with previous work based on sized types. "
  links:
    doi: "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:
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  - name: "Clemens Grelck"
    link: "https://researchr.org/alias/clemens-grelck"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  volume: "4015"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-69174-X"
  kind: "inproceedings"
  key: "BradyH05"
- title: "Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  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:
  - name: "Werner E. Kluge"
    link: "https://researchr.org/alias/werner-e.-kluge"
  volume: "1268"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63237-9"
  kind: "inproceedings"
  key: "LoidlH96"
- title: "SymGrid: A Framework for Symbolic Computation on the Grid"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Abdallah Al Zain"
    link: "https://researchr.org/alias/abdallah-al-zain"
  - name: "Gene Cooperman"
    link: "https://researchr.org/alias/gene-cooperman"
  - name: "Dana Petcu"
    link: "https://researchr.org/alias/dana-petcu"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74466-5_49"
  links:
    doi: "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:
  - name: "Anne-Marie Kermarrec"
    link: "https://researchr.org/alias/anne-marie-kermarrec"
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "Thierry Priol"
    link: "https://researchr.org/alias/thierry-priol"
  volume: "4641"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74465-8"
  kind: "inproceedings"
  key: "HammondZCPT07"
- title: "Automatic Skeletons in Template Haskell"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Jost Berthold"
    link: "https://researchr.org/alias/jost-berthold"
  - name: "Rita Loogen"
    link: "https://researchr.org/alias/rita-loogen"
  year: "2003"
  doi: "http://dx.doi.org/10.1142/S0129626403001380"
  links:
    doi: "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"
  kind: "article"
  key: "HammondBL03"
- title: "Parallel Programming: Models, Methods and Programming Languages"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2400/24000603.htm"
  links:
    doi: "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:
  - name: "Burkhard Monien"
    link: "https://researchr.org/alias/burkhard-monien"
  - name: "Rainer Feldmann"
    link: "https://researchr.org/alias/rainer-feldmann"
  volume: "2400"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44049-6"
  kind: "inproceedings"
  key: "Hammond02:0"
- title: "Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs"
  author:
  - name: "Hugo R. Simões"
    link: "https://researchr.org/alias/hugo-r.-sim%C3%B5es"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Mário Florido"
    link: "https://researchr.org/alias/m%C3%A1rio-florido"
  - name: "Pedro B. Vasconcelos"
    link: "https://researchr.org/alias/pedro-b.-vasconcelos"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74464-1_15"
  links:
    doi: "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:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "https://researchr.org/alias/conor-mcbride"
  volume: "4502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74463-4"
  kind: "inproceedings"
  key: "SimoesHFV06"
- title: "Towards resource-certified software: a formal cost model for time and its application to an image-processing example"
  author:
  - name: "Armelle Bonenfant"
    link: "https://researchr.org/alias/armelle-bonenfant"
  - name: "Zezhi Chen"
    link: "https://researchr.org/alias/zezhi-chen"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Andrew M. Wallace"
    link: "https://researchr.org/alias/andrew-m.-wallace"
  - name: "Iain Wallace"
    link: "https://researchr.org/alias/iain-wallace"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244002.1244285"
  links:
    doi: "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:
  - name: "Yookun Cho"
    link: "https://researchr.org/alias/yookun-cho"
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  - name: "Sung Y. Shin"
    link: "https://researchr.org/alias/sung-y.-shin"
  - name: "Yong Wan Koo"
    link: "https://researchr.org/alias/yong-wan-koo"
  publisher: "ACM"
  isbn: "1-59593-480-4"
  kind: "inproceedings"
  key: "BonenfantCHMWW07"
- title: "Type Classes in Haskell"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/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:
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "788"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57880-3"
  kind: "inproceedings"
  key: "HallHJW94"
- title: "Predictable Space Behaviour in FSM-Hume"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=1"
  links:
    doi: "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:
  - name: "Ricardo Pena"
    link: "https://researchr.org/alias/ricardo-pena"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  volume: "2670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40190-3"
  kind: "inproceedings"
  key: "HammondM02"
- title: "The Embounded project (project start paper)"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Roy Dyckhoff"
    link: "https://researchr.org/alias/roy-dyckhoff"
  - name: "Christian Ferdinand"
    link: "https://researchr.org/alias/christian-ferdinand"
  - name: "Reinhold Heckmann"
    link: "https://researchr.org/alias/reinhold-heckmann"
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Steffen Jost"
    link: "https://researchr.org/alias/steffen-jost"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Robert F. Pointon"
    link: "https://researchr.org/alias/robert-f.-pointon"
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Jocelyn Sérot"
    link: "https://researchr.org/alias/jocelyn-s%C3%A9rot"
  - name: "Andy Wallace"
    link: "https://researchr.org/alias/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:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  volume: "6"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "978-1-84150-176-5"
  kind: "inproceedings"
  key: "HammondDFHHJLMPSSW05"
- title: "Cost Analysis Using Automatic Size and Time Inference"
  author:
  - name: "Álvaro J. Rebón Portillo"
    link: "https://researchr.org/alias/%C3%A1lvaro-j.-reb%C3%B3n-portillo"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Pedro B. Vasconcelos"
    link: "https://researchr.org/alias/pedro-b.-vasconcelos"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=232"
  links:
    doi: "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:
  - name: "Ricardo Pena"
    link: "https://researchr.org/alias/ricardo-pena"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  volume: "2670"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40190-3"
  kind: "inproceedings"
  key: "PortilloHLV02"
- title: "FSM-Hume is finite state"
  author:
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Jocelyn Sérot"
    link: "https://researchr.org/alias/jocelyn-s%C3%A9rot"
  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:
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  volume: "4"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-122-0"
  kind: "inproceedings"
  key: "MichaelsonHS03"
- title: "Parallel heuristic search in Haskell"
  author:
  - name: "Michelle Cope"
    link: "https://researchr.org/alias/michelle-cope"
  - name: "Ian P. Gent"
    link: "https://researchr.org/alias/ian-p.-gent"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  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:
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  volume: "2"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-058-5"
  kind: "inproceedings"
  key: "CopeGH00"
- title: "Worst-Case Execution Times for a Purely Functional Language"
  author:
  - name: "Armelle Bonenfant"
    link: "https://researchr.org/alias/armelle-bonenfant"
  - name: "Christian Ferdinand"
    link: "https://researchr.org/alias/christian-ferdinand"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Reinhold Heckmann"
    link: "https://researchr.org/alias/reinhold-heckmann"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_14"
  links:
    doi: "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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "4449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74129-9"
  kind: "inproceedings"
  key: "BonenfantFHH06"
- title: "Engineering parallel symbolic programs in GPH"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Sahalu B. Junaidu"
    link: "https://researchr.org/alias/sahalu-b.-junaidu"
  - name: "Richard G. Morgan"
    link: "https://researchr.org/alias/richard-g.-morgan"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "LoidlTHJMJ99"
- title: "GUM: A Portable Parallel Implementation of Haskell"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "James S. Mattson Jr."
    link: "https://researchr.org/alias/james-s.-mattson-jr."
  - name: "A. S. Partridge"
    link: "https://researchr.org/alias/a.-s.-partridge"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1996"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/TrinderHMPJ96"
  cites: 0
  citedby: 0
  pages: "79-88"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "TrinderHMPJ96"
- title: "Efficient Type Inference Using Monads (Summary)"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  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:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19760-5"
  kind: "inproceedings"
  key: "Hammond91"
- title: "Towards Formally Verifiable WCET Analysis for a Functional Programming Language"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Christian Ferdinand"
    link: "https://researchr.org/alias/christian-ferdinand"
  - name: "Reinhold Heckmann"
    link: "https://researchr.org/alias/reinhold-heckmann"
  - name: "Roy Dyckhoff"
    link: "https://researchr.org/alias/roy-dyckhoff"
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Steffen Jost"
    link: "https://researchr.org/alias/steffen-jost"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Robert F. Pointon"
    link: "https://researchr.org/alias/robert-f.-pointon"
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Jocelyn Sérot"
    link: "https://researchr.org/alias/jocelyn-s%C3%A9rot"
  - name: "Andy Wallace"
    link: "https://researchr.org/alias/andy-wallace"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2006/677"
  links:
    doi: "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:
  - name: "Frank Mueller"
    link: "https://researchr.org/alias/frank-mueller"
  volume: "06902"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "HammondFHDHJLMPSSW06"
- title: "Domain Specific Languages (DSLs) for Network Protocols (Position Paper)"
  author:
  - name: "Saleem Bhatti"
    link: "https://researchr.org/alias/saleem-bhatti"
  - name: "Edwin Brady"
    link: "http://www.cs.st-andrews.ac.uk/~eb"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "James McKinna"
    link: "https://researchr.org/alias/james-mckinna"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICDCSW.2009.64"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BhattiBHM09"
- title: "The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=127"
  links:
    doi: "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:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "inproceedings"
  key: "HammondM03"
- title: "SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids"
  author:
  - name: "Abdallah Al Zain"
    link: "https://researchr.org/alias/abdallah-al-zain"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Steve Linton"
    link: "https://researchr.org/alias/steve-linton"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Marco Costanti"
    link: "https://researchr.org/alias/marco-costanti"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72586-2_90"
  links:
    doi: "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:
  - name: "Yong Shi"
    link: "https://researchr.org/alias/yong-shi"
  - name: "G. Dick van Albada"
    link: "https://researchr.org/alias/g.-dick-van-albada"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Peter M. A. Sloot"
    link: "https://researchr.org/alias/peter-m.-a.-sloot"
  volume: "4488"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72585-5"
  kind: "inproceedings"
  key: "ZainHTLLC07"
- title: "Report on the Programming Language Haskell, A Non-strict, Purely Functional Language"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  - name: "Brian Boutel"
    link: "https://researchr.org/alias/brian-boutel"
  - name: "Jon Fairbairn"
    link: "https://researchr.org/alias/jon-fairbairn"
  - name: "Joseph H. Fasel"
    link: "https://researchr.org/alias/joseph-h.-fasel"
  - name: "María M. Guzmán"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-guzm%C3%A1n"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Thomas Johnsson"
    link: "https://researchr.org/alias/thomas-johnsson"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Rishiyur S. Nikhil"
    link: "https://researchr.org/alias/rishiyur-s.-nikhil"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "John Peterson"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "HudakPWBFFGHHJKNPP92"
- title: "Benchmarking Implementations of Functional Languages with  Pseudoknot , a Float-Intensive Benchmark"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marc Feeley"
    link: "https://researchr.org/alias/marc-feeley"
  - name: "Martin Alt"
    link: "https://researchr.org/alias/martin-alt"
  - name: "Lennart Augustsson"
    link: "https://researchr.org/alias/lennart-augustsson"
  - name: "Peter Baumann"
    link: "https://researchr.org/alias/peter-baumann"
  - name: "Marcel Beemster"
    link: "https://researchr.org/alias/marcel-beemster"
  - name: "Emmanuel Chailloux"
    link: "https://researchr.org/alias/emmanuel-chailloux"
  - name: "Christine H. Flood"
    link: "https://researchr.org/alias/christine-h.-flood"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "John H. G. van Groningen"
    link: "https://researchr.org/alias/john-h.-g.-van-groningen"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Bogumil Hausman"
    link: "https://researchr.org/alias/bogumil-hausman"
  - name: "Melody Y. Ivory"
    link: "https://researchr.org/alias/melody-y.-ivory"
  - name: "Richard E. Jones"
    link: "https://researchr.org/alias/richard-e.-jones"
  - name: "Jasper Kamperman"
    link: "https://researchr.org/alias/jasper-kamperman"
  - name: "Peter Lee"
    link: "https://researchr.org/alias/peter-lee"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  - name: "Rafael Dueire Lins"
    link: "https://researchr.org/alias/rafael-dueire-lins"
  - name: "Sandra Loosemore"
    link: "https://researchr.org/alias/sandra-loosemore"
  - name: "Niklas Röjemo"
    link: "https://researchr.org/alias/niklas-r%C3%B6jemo"
  - name: "Manuel Serrano"
    link: "https://researchr.org/alias/manuel-serrano"
  - name: "Jean-Pierre Talpin"
    link: "https://researchr.org/alias/jean-pierre-talpin"
  - name: "Jon Thackray"
    link: "https://researchr.org/alias/jon-thackray"
  - name: "Stephen Thomas"
    link: "https://researchr.org/alias/stephen-thomas"
  - name: "Pum Walters"
    link: "https://researchr.org/alias/pum-walters"
  - name: "Pierre Weis"
    link: "https://researchr.org/alias/pierre-weis"
  - name: "Peter Wentworth"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "HartelFAABBCFGGHHIJKLLLLRSTTTWWW96"
- title: "Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11894100_4"
  links:
    doi: "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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  volume: "4164"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-46843-9"
  kind: "inproceedings"
  key: "Hammond05"
- title: "Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs"
  author:
  - name: "Pedro B. Vasconcelos"
    link: "https://researchr.org/alias/pedro-b.-vasconcelos"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=86"
  links:
    doi: "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:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Ricardo Pena"
    link: "https://researchr.org/alias/ricardo-pena"
  volume: "3145"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23727-5"
  kind: "inproceedings"
  key: "VasconcelosH03"
- title: "Low-Level Programming in Hume: An Exploration of the HW-Hume Level"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Gudmund Grov"
    link: "https://researchr.org/alias/gudmund-grov"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Andrew Ireland"
    link: "https://researchr.org/alias/andrew-ireland"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_6"
  links:
    doi: "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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "4449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74129-9"
  kind: "inproceedings"
  key: "HammondGMI06"
- title: "Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System"
  author:
  - name: "Abdallah Al Zain"
    link: "https://researchr.org/alias/abdallah-al-zain"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Alexander Konovalov"
    link: "https://researchr.org/alias/alexander-konovalov"
  - name: "Steve Linton"
    link: "https://researchr.org/alias/steve-linton"
  - name: "Jost Berthold"
    link: "https://researchr.org/alias/jost-berthold"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ISPA.2008.19"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ZainTHKLB08"
- title: "Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework"
  author:
  - name: "Alexandru Cârstea"
    link: "https://researchr.org/alias/alexandru-c%C3%A2rstea"
  - name: "Marc Frîncu"
    link: "https://researchr.org/alias/marc-fr%C3%AEncu"
  - name: "Georgiana Macariu"
    link: "https://researchr.org/alias/georgiana-macariu"
  - name: "Dana Petcu"
    link: "https://researchr.org/alias/dana-petcu"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/ISPDC.2007.24"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CarsteaFMPH07"
- title: "The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note)"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Ed. Barry Jr."
    link: "https://researchr.org/alias/ed.-barry-jr."
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Ulrike Klusik"
    link: "https://researchr.org/alias/ulrike-klusik"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Álvaro J. Rebón Portillo"
    link: "https://researchr.org/alias/%C3%A1lvaro-j.-reb%C3%B3n-portillo"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1900/19000739.htm"
  links:
    doi: "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:
  - name: "Arndt Bode"
    link: "https://researchr.org/alias/arndt-bode"
  - name: "Thomas Ludwig 0002"
    link: "https://researchr.org/alias/thomas-ludwig-0002"
  - name: "Wolfgang Karl"
    link: "https://researchr.org/alias/wolfgang-karl"
  - name: "Roland Wismüller"
    link: "https://researchr.org/alias/roland-wism%C3%BCller"
  volume: "1900"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67956-1"
  kind: "inproceedings"
  key: "TrinderLBDHKJP00"
- title: "Database Manipulation in Haskell 1.3"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "David N. Turner"
    link: "https://researchr.org/alias/david-n.-turner"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-14580-X"
  kind: "inproceedings"
  key: "HammondT95"
- title: "The Glasgow Haskell Compiler: A Retrospective"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "HallHPJW92"
- title: "Type Classes in Haskell"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/227699.227700"
  links:
    doi: "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"
  kind: "article"
  key: "HallHJW96"
- title: "Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "James S. Mattson Jr."
    link: "https://researchr.org/alias/james-s.-mattson-jr."
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  - name: "Jens Volkert"
    link: "https://researchr.org/alias/jens-volkert"
  volume: "854"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58430-7"
  kind: "inproceedings"
  key: "HammondMJ94"
- title: "HaskSkel: Algorithmic Skeletons in Haskell"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Álvaro J. Rebón Portillo"
    link: "https://researchr.org/alias/%C3%A1lvaro-j.-reb%C3%B3n-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:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  volume: "1868"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67864-6"
  kind: "inproceedings"
  key: "HammondP99"
- title: "Implementing Haskell Type Classes"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Stephen Blott"
    link: "https://researchr.org/alias/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:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "inproceedings"
  key: "HammondB89"
- title: "Hume: A Domain-Specific Language for Real-Time Embedded Systems"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=37"
  links:
    doi: "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:
  - name: "Frank Pfenning"
    link: "http://www.cs.cmu.edu/~fp/"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  volume: "2830"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20102-5"
  kind: "inproceedings"
  key: "HammondM03:0"
- title: "FSM-Hume: programming resource-limited systems using bounded automata"
  author:
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Jocelyn Sérot"
    link: "https://researchr.org/alias/jocelyn-s%C3%A9rot"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/967900.968192"
  links:
    doi: "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:
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  - name: "Lorie M. Liebrock"
    link: "https://researchr.org/alias/lorie-m.-liebrock"
  publisher: "ACM"
  isbn: "1-58113-812-1"
  kind: "inproceedings"
  key: "MichaelsonHS04"
- title: "Naira: A Parallel² Haskell Compiler"
  author:
  - name: "Sahalu B. Junaidu"
    link: "https://researchr.org/alias/sahalu-b.-junaidu"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670214.htm"
  links:
    doi: "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:
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  volume: "1467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64849-6"
  kind: "inproceedings"
  key: "JunaiduDH97"
- title: "Automatic Amortised Worst-Case Execution Time Analysis"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Armelle Bonenfant"
    link: "https://researchr.org/alias/armelle-bonenfant"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Steffen Jost"
    link: "https://researchr.org/alias/steffen-jost"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Robert F. Pointon"
    link: "https://researchr.org/alias/robert-f.-pointon"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1186"
  links:
    doi: "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:
  - name: "Christine Rochange"
    link: "https://researchr.org/alias/christine-rochange"
  volume: "07002"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "HerrmannBHJLP07"
- title: "Processing Transactions on GRIP, a Parallel Graph Reducer"
  author:
  - name: "Gert Akerholt"
    link: "https://researchr.org/alias/gert-akerholt"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "Arndt Bode"
    link: "https://researchr.org/alias/arndt-bode"
  - name: "Mike Reeve"
    link: "https://researchr.org/alias/mike-reeve"
  - name: "Gottfried Wolf"
    link: "https://researchr.org/alias/gottfried-wolf"
  volume: "694"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56891-3"
  kind: "inproceedings"
  key: "AkerholtHJT93"
- title: "Improving Persistent Data Manipulation for Functional Languages"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Dave McNally"
    link: "https://researchr.org/alias/dave-mcnally"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "HammondMST92"
- title: "Comparing Parallel Functional Languages: Programming and Performance"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Fernando Rubio"
    link: "https://researchr.org/alias/fernando-rubio"
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Susumu Horiguchi"
    link: "https://researchr.org/alias/susumu-horiguchi"
  - name: "Ulrike Klusik"
    link: "https://researchr.org/alias/ulrike-klusik"
  - name: "Rita Loogen"
    link: "https://researchr.org/alias/rita-loogen"
  - name: "Greg Michaelson"
    link: "https://researchr.org/alias/greg-michaelson"
  - name: "Ricardo Pena"
    link: "https://researchr.org/alias/ricardo-pena"
  - name: "Steffen Priebe"
    link: "https://researchr.org/alias/steffen-priebe"
  - name: "Álvaro J. Rebón Portillo"
    link: "https://researchr.org/alias/%C3%A1lvaro-j.-reb%C3%B3n-portillo"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  year: "2003"
  doi: "http://dx.doi.org/10.1023/A:1025641323400"
  links:
    doi: "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"
  kind: "article"
  key: "LoidlRSHHKLMPPPT03"
- title: "GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Ulrike Klusik"
    link: "https://researchr.org/alias/ulrike-klusik"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Rita Loogen"
    link: "https://researchr.org/alias/rita-loogen"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  volume: "2"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-058-5"
  kind: "inproceedings"
  key: "LoidlKHLT00"
- title: "A Parallel Functional Database on GRIP"
  author:
  - name: "Gert Akerholt"
    link: "https://researchr.org/alias/gert-akerholt"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19760-5"
  kind: "inproceedings"
  key: "AkerholtHJT91"
- title: "Is it time for real-time functional programming?"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  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:
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  volume: "4"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-122-0"
  kind: "inproceedings"
  key: "Hammond03"
- title: "Algorithms + Strategy = Parallelism"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1998"
  researchr: "https://researchr.org/publication/TrinderHLJ98"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "8"
  number: "1"
  pages: "23-60"
  kind: "article"
  key: "TrinderHLJ98"
- 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:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  volume: "1595"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66229-4"
  kind: "proceedings"
  key: "ifl:1998"
- 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:
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  volume: "1467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64849-6"
  kind: "proceedings"
  key: "ifl:1997"
- 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:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Sharon Curtis"
    link: "https://researchr.org/alias/sharon-curtis"
  volume: "3"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "1-84150-070-4"
  kind: "proceedings"
  key: "sfp:2001"