BibTeX records: Gilles Peskine

• > Home > Persons > Gilles Peskine

@article{DBLP:journals/jfp/SewellNOPRSS10,
  author       = {Peter Sewell and
                  Francesco Zappa Nardelli and
                  Scott Owens and
                  Gilles Peskine and
                  Thomas Ridge and
                  Susmit Sarkar and
                  Rok Strnisa},
  title        = {Ott: Effective tool support for the working semanticist},
  journal      = {J. Funct. Program.},
  volume       = {20},
  number       = {1},
  pages        = {71--122},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0956796809990293},
  doi          = {10.1017/S0956796809990293},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SewellNOPRSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SewellNOPRSS07,
  author       = {Peter Sewell and
                  Francesco Zappa Nardelli and
                  Scott Owens and
                  Gilles Peskine and
                  Tom Ridge and
                  Susmit Sarkar and
                  Rok Strnisa},
  editor       = {Ralf Hinze and
                  Norman Ramsey},
  title        = {Ott: effective tool support for the working semanticist},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
                  2007},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1291151.1291155},
  doi          = {10.1145/1291151.1291155},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SewellNOPRSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/LeiferPSW03,
  author       = {James J. Leifer and
                  Gilles Peskine and
                  Peter Sewell and
                  Keith Wansbrough},
  editor       = {Colin Runciman and
                  Olin Shivers},
  title        = {Global abstraction-safe marshalling with hash types},
  booktitle    = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
                  on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
                  2003},
  pages        = {87--98},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/944705.944714},
  doi          = {10.1145/944705.944714},
  timestamp    = {Sat, 26 Jun 2021 13:59:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/LeiferPSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}