publications:
- title: "Initial Algebra Semantics Is Enough!"
  author:
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73228-0_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73228-0_16"
  tags:
  - "semantics"
  - " algebra"
  researchr: "https://researchr.org/publication/JohannG07"
  cites: 0
  citedby: 0
  pages: "207-222"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "JohannG07"
- title: "Monadic augment and generalised short cut fusion"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796807006314"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796807006314"
  researchr: "https://researchr.org/publication/GhaniJ07"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "17"
  number: "6"
  pages: "731-776"
  kind: "article"
  key: "GhaniJ07"
- title: "The Virtues of Eta-Expansion"
  author:
  - name: "C. Barry Jay"
    link: "https://researchr.org/alias/c.-barry-jay"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "1995"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/JayG95"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "5"
  number: "2"
  pages: "135-154"
  kind: "article"
  key: "JayG95"
- title: "Continuous Functions on Final Coalgebras"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Peter Hancock"
    link: "https://researchr.org/alias/peter-hancock"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.06.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.06.009"
  researchr: "https://researchr.org/publication/GhaniHP06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "164"
  number: "1"
  pages: "141-155"
  kind: "article"
  key: "GhaniHP06"
- title: "A principled approach to programming with nested types in Haskell"
  author:
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10990-009-9047-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-009-9047-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/JohannG09"
  tags:
  - "Haskell"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/JohannG09"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "22"
  number: "2"
  pages: "155-189"
  kind: "article"
  key: "JohannG09"
- title: "for Data: Differentiating Data Structures"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=1"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=1"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/AbbottAMG05"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "65"
  number: "1-2"
  pages: "1-28"
  kind: "article"
  key: "AbbottAMG05"
- title: "Derivatives of Containers"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2701/27010016.htm"
  researchr: "https://researchr.org/publication/AbbottAGM03"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "AbbottAGM03"
- title: "Foundations for structured programming with GADTs"
  author:
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328438.1328475"
  links:
    doi: "http://doi.acm.org/10.1145/1328438.1328475"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/JohannG08"
  cites: 0
  citedby: 0
  pages: "297-308"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JohannG08"
- title: "Proving Properties about Lists Using Containers"
  author:
  - name: "Rawle Prince"
    link: "https://researchr.org/alias/rawle-prince"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_9"
  researchr: "https://researchr.org/publication/PrinceGM08"
  cites: 0
  citedby: 0
  pages: "97-112"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "PrinceGM08"
- title: "Constructing Strictly Positive Families"
  author:
  - name: "Peter Morris"
    link: "https://researchr.org/alias/peter-morris"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2007"
  doi: "http://crpit.com/abstracts/CRPITV65Morris.html"
  links:
    doi: "http://crpit.com/abstracts/CRPITV65Morris.html"
  researchr: "https://researchr.org/publication/MorrisAG07"
  cites: 0
  citedby: 0
  pages: "111-121"
  booktitle: "cats"
  kind: "inproceedings"
  key: "MorrisAG07"
- title: "Fibrational Induction Rules for Initial Algebras"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Clément Fumex"
    link: "https://researchr.org/alias/cl%C3%A9ment-fumex"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15205-4_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15205-4_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csl/GhaniJF10"
  tags:
  - "rule-based"
  - "rules"
  - " algebra"
  researchr: "https://researchr.org/publication/GhaniJF10"
  cites: 0
  citedby: 0
  pages: "336-350"
  booktitle: "csl"
  kind: "inproceedings"
  key: "GhaniJF10"
- title: "Difunctorial Semantics of Object Calculus"
  author:
  - name: "Johan Glimming"
    link: "https://researchr.org/alias/johan-glimming"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.012"
  tags:
  - "semantics"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GlimmingG05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "138"
  number: "2"
  pages: "79-94"
  kind: "article"
  key: "GlimmingG05"
- title: "Containers: Constructing strictly positive types"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.002"
  researchr: "https://researchr.org/publication/AbbottAG05"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "342"
  number: "1"
  pages: "3-27"
  kind: "article"
  key: "AbbottAG05"
- title: "Build, Augment and Destroy, Universally"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=327"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=327"
  researchr: "https://researchr.org/publication/GhaniUV04"
  cites: 0
  citedby: 0
  pages: "327-347"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "GhaniUV04"
- title: "Categories of Containers"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200023.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200023.htm"
  researchr: "https://researchr.org/publication/AbbottAG03"
  cites: 0
  citedby: 0
  pages: "23-38"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "AbbottAG03"
- title: "A Universe of Strictly Positive Families"
  author:
  - name: "Peter Morris"
    link: "https://researchr.org/alias/peter-morris"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  year: "2009"
  doi: "http://dx.doi.org/10.1142/S0129054109006462"
  abstract: "In order to represent, compute and reason with advanced data types like lists with a fixed length, finite sets or well scoped λ-terms one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them as inductive families, or more precisely Strictly Positive Families (SPFs). We have previously shown that the grammar of strictly positive types (SPT) can be given as an inductively defined family. In the present paper we go one step further an show that the universe of SPFs can be encoded as an SPF. We show that SPFs can be used to represent and compute with a variety of advanced data types and that generic programs can be naturally written over the universe of SPFs."
  links:
    doi: "http://dx.doi.org/10.1142/S0129054109006462"
  researchr: "https://researchr.org/publication/MorrisAG09"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "20"
  number: "1"
  pages: "83-107"
  kind: "article"
  key: "MorrisAG09"
- title: "Monadic augment and generalised short cut fusion"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Patricia Johann"
    link: "http://personal.cis.strath.ac.uk/~patricia/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086403"
  links:
    doi: "http://doi.acm.org/10.1145/1086365.1086403"
  researchr: "https://researchr.org/publication/GhaniJUV05"
  cites: 0
  citedby: 0
  pages: "294-305"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "GhaniJUV05"
- title: "Generalizing the AUGMENT combinator"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Tarmo Uustalu"
    link: "http://www.ioc.ee/~tarmo/"
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  year: "2004"
  researchr: "https://researchr.org/publication/GhaniUV04%3A0"
  cites: 0
  citedby: 0
  pages: "65-78"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "GhaniUV04:0"
- title: "Continuous Functions on Final Coalgebras"
  author:
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Peter Hancock"
    link: "https://researchr.org/alias/peter-hancock"
  - name: "Dirk Pattinson"
    link: "https://researchr.org/alias/dirk-pattinson"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.081"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.081"
  researchr: "https://researchr.org/publication/GhaniHP09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "249"
  pages: "3-18"
  kind: "article"
  key: "GhaniHP09"
- title: "Constructing Polymorphic Programs with Quotient Types"
  author:
  - name: "Michael Abbott"
    link: "https://researchr.org/alias/michael-abbott"
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  - name: "Neil Ghani"
    link: "http://personal.cis.strath.ac.uk/~ng/"
  - name: "Conor McBride"
    link: "http://personal.cis.strath.ac.uk/~conor/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=2"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=2"
  researchr: "https://researchr.org/publication/AbbottAGM04"
  cites: 0
  citedby: 0
  pages: "2-15"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "AbbottAGM04"