BibTeX records: Tom Murphy VII

• > Home > Persons > Tom Murphy VII

@inproceedings{DBLP:conf/tgc/VIICH07,
  author       = {Tom Murphy VII and
                  Karl Crary and
                  Robert Harper},
  editor       = {Gilles Barthe and
                  C{\'{e}}dric Fournet},
  title        = {Type-Safe Distributed Programming with {ML5}},
  booktitle    = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
                  France, November 5-6, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4912},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78663-4\_9},
  doi          = {10.1007/978-3-540-78663-4\_9},
  timestamp    = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/VIICH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ml/VII06,
  author       = {Tom Murphy VII},
  editor       = {Andrew Kennedy and
                  Fran{\c{c}}ois Pottier},
  title        = {{ML} grid programming with ConCert},
  booktitle    = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
                  September 16, 2006},
  pages        = {2--11},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159876.1159879},
  doi          = {10.1145/1159876.1159879},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/ml/VII06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ml/SwaseyVCH06,
  author       = {David Swasey and
                  Tom Murphy VII and
                  Karl Crary and
                  Robert Harper},
  editor       = {Andrew Kennedy and
                  Fran{\c{c}}ois Pottier},
  title        = {A separate compilation extension to standard {ML}},
  booktitle    = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
                  September 16, 2006},
  pages        = {32--42},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159876.1159883},
  doi          = {10.1145/1159876.1159883},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ml/SwaseyVCH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/VIICH05,
  author       = {Tom Murphy VII and
                  Karl Crary and
                  Robert Harper},
  editor       = {C.{-}H. Luke Ong},
  title        = {Distributed Control Flow with Classical Modal Logic},
  booktitle    = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
                  Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3634},
  pages        = {51--69},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11538363\_6},
  doi          = {10.1007/11538363\_6},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/VIICH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/VIICHP04,
  author       = {Tom Murphy VII and
                  Karl Crary and
                  Robert Harper and
                  Frank Pfenning},
  title        = {A Symmetric Modal Lambda Calculus for Distributed Computing},
  booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
                  14-17 July 2004, Turku, Finland, Proceedings},
  pages        = {286--295},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/LICS.2004.1319623},
  doi          = {10.1109/LICS.2004.1319623},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/VIICHP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/grid/ChangCDHLVP02,
  author       = {Bor{-}Yuh Evan Chang and
                  Karl Crary and
                  Margaret DeLap and
                  Robert Harper and
                  Jason Liszka and
                  Tom Murphy VII and
                  Frank Pfenning},
  editor       = {Manish Parashar},
  title        = {Trustless Grid Computing in ConCert},
  booktitle    = {Grid Computing - {GRID} 2002, Third International Workshop, Baltimore,
                  MD, USA, November 18, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2536},
  pages        = {112--125},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36133-2\_11},
  doi          = {10.1007/3-540-36133-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/grid/ChangCDHLVP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}