BibTeX records: Malcolm Dowse

• > Home > Persons > Malcolm Dowse

@phdthesis{DBLP:phd/ie/Dowse06,
  author       = {Malcolm Dowse},
  title        = {A Semantic framework for deterministic functional input/output},
  school       = {Trinity College Dublin, Ireland},
  year         = {2006},
  url          = {https://hdl.handle.net/2262/411},
  timestamp    = {Fri, 14 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ie/Dowse06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DowseB06,
  author       = {Malcolm Dowse and
                  Andrew Butterfield},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Modelling deterministic concurrent {I/O}},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {148--159},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159823},
  doi          = {10.1145/1159803.1159823},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DowseB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/DowseBE04,
  author       = {Malcolm Dowse and
                  Andrew Butterfield and
                  Marko C. J. D. van Eekelen},
  editor       = {Clemens Grelck and
                  Frank Huch and
                  Greg Michaelson and
                  Philip W. Trinder},
  title        = {Reasoning About Deterministic Concurrent Functional {I/O}},
  booktitle    = {Implementation and Application of Functional Languages, 16th International
                  Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
                  2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3474},
  pages        = {177--194},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11431664\_11},
  doi          = {10.1007/11431664\_11},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/DowseBE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/DowseSB02,
  author       = {Malcolm Dowse and
                  Glenn Strong and
                  Andrew Butterfield},
  editor       = {Ricardo Pena and
                  Thomas Arts},
  title        = {Proving Make Correct: {I/O} Proofs in Haskell and Clean},
  booktitle    = {Implementation of Functional Languages, 14th International Workshop,
                  {IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2670},
  pages        = {68--83},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-44854-3\_5},
  doi          = {10.1007/3-540-44854-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/DowseSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}