BibTeX records: Malcolm Hole

• > Home > Persons > Malcolm Hole

@article{DBLP:journals/ile/HerodotouMAHKSD20,
  author       = {Christothea Herodotou and
                  Dave K. Muirhead and
                  Maria Aristeidou and
                  Malcolm John Hole and
                  Simon Kelley and
                  Eileen Scanlon and
                  Marcus Duffy},
  title        = {Blended and online learning: a comparative study of virtual microscopy
                  in Higher Education},
  journal      = {Interact. Learn. Environ.},
  volume       = {28},
  number       = {6},
  pages        = {713--728},
  year         = {2020},
  url          = {https://doi.org/10.1080/10494820.2018.1552874},
  doi          = {10.1080/10494820.2018.1552874},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ile/HerodotouMAHKSD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GayH05,
  author       = {Simon J. Gay and
                  Malcolm Hole},
  title        = {Subtyping for session types in the pi calculus},
  journal      = {Acta Informatica},
  volume       = {42},
  number       = {2-3},
  pages        = {191--225},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00236-005-0177-z},
  doi          = {10.1007/S00236-005-0177-Z},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GayH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Hole04,
  author       = {Malcolm John Hole},
  title        = {Novel type systems for client-server interactions in the [pi]-calculus},
  school       = {Royal Holloway, University of London, {UK}},
  year         = {2004},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.407386},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Hole04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GayH99,
  author       = {Simon J. Gay and
                  Malcolm Hole},
  editor       = {S. Doaitse Swierstra},
  title        = {Types and Subtypes for Client-Server Interactions},
  booktitle    = {Programming Languages and Systems, 8th European Symposium on Programming,
                  ESOP'99, Held as Part of the European Joint Conferences on the Theory
                  and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
                  March, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1576},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49099-X\_6},
  doi          = {10.1007/3-540-49099-X\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GayH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}