BibTeX records: Michael Gordon Abbott

• > Home > Persons > Michael Gordon Abbott

@article{DBLP:journals/fuin/AbbottAMG05,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Conor McBride and
                  Neil Ghani},
  title        = {for Data: Differentiating Data Structures},
  journal      = {Fundam. Informaticae},
  volume       = {65},
  number       = {1-2},
  pages        = {1--28},
  year         = {2005},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AbbottAMG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AbbottAG05,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Neil Ghani},
  title        = {Containers: Constructing strictly positive types},
  journal      = {Theor. Comput. Sci.},
  volume       = {342},
  number       = {1},
  pages        = {3--27},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.06.002},
  doi          = {10.1016/J.TCS.2005.06.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbbottAG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AbbottGL05,
  author       = {Michael Gordon Abbott and
                  Neil Ghani and
                  Christoph L{\"{u}}th},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Abstract Modularity},
  booktitle    = {Term Rewriting and Applications, 16th International Conference, {RTA}
                  2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3467},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_5},
  doi          = {10.1007/978-3-540-32033-3\_5},
  timestamp    = {Wed, 25 Sep 2019 18:23:35 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AbbottGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/AbbottAG04,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Neil Ghani},
  editor       = {Josep D{\'{\i}}az and
                  Juhani Karhum{\"{a}}ki and
                  Arto Lepist{\"{o}} and
                  Donald Sannella},
  title        = {Representing Nested Inductive Types Using W-Types},
  booktitle    = {Automata, Languages and Programming: 31st International Colloquium,
                  {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3142},
  pages        = {59--71},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27836-8\_8},
  doi          = {10.1007/978-3-540-27836-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/AbbottAG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/AbbottAGM04,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Neil Ghani and
                  Conor McBride},
  editor       = {Dexter Kozen and
                  Carron Shankland},
  title        = {Constructing Polymorphic Programs with Quotient Types},
  booktitle    = {Mathematics of Program Construction, 7th International Conference,
                  {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3125},
  pages        = {2--15},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27764-4\_2},
  doi          = {10.1007/978-3-540-27764-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/AbbottAGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Abbott03,
  author       = {Michael Gordon Abbott},
  title        = {Categories of containers},
  school       = {University of Leicester, England, {UK}},
  year         = {2003},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401007},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Abbott03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AbbottAG03,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Neil Ghani},
  editor       = {Andrew D. Gordon},
  title        = {Categories of Containers},
  booktitle    = {Foundations of Software Science and Computational Structures, 6th
                  International Conference, {FOSSACS} 2003 Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2620},
  pages        = {23--38},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36576-1\_2},
  doi          = {10.1007/3-540-36576-1\_2},
  timestamp    = {Mon, 14 Feb 2022 09:20:26 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AbbottAG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/AbbottAGM03,
  author       = {Michael Gordon Abbott and
                  Thorsten Altenkirch and
                  Neil Ghani and
                  Conor McBride},
  editor       = {Martin Hofmann},
  title        = {Derivatives of Containers},
  booktitle    = {Typed Lambda Calculi and Applications, 6th International Conference,
                  {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2701},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44904-3\_2},
  doi          = {10.1007/3-540-44904-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/AbbottAGM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}