BibTeX records: John Greiner

• > Home > Persons > John Greiner

@inproceedings{DBLP:conf/sigcse/WarrenRGW14,
  author       = {Joe Warren and
                  Scott Rixner and
                  John Greiner and
                  Stephen Wong},
  editor       = {J. D. Dougherty and
                  Kris Nagel and
                  Adrienne Decker and
                  Kurt Eiselt},
  title        = {Facilitating human interaction in an online programming course},
  booktitle    = {The 45th {ACM} Technical Symposium on Computer Science Education,
                  {SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
  pages        = {665--670},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2538862.2538893},
  doi          = {10.1145/2538862.2538893},
  timestamp    = {Tue, 23 Mar 2021 10:54:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/WarrenRGW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GreinerB99,
  author       = {John Greiner and
                  Guy E. Blelloch},
  title        = {A Provably Time-Efficient Parallel Implementation of Full Speculation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {21},
  number       = {2},
  pages        = {240--285},
  year         = {1999},
  url          = {https://doi.org/10.1145/316686.316690},
  doi          = {10.1145/316686.316690},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GreinerB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/Greiner96,
  author       = {John Greiner},
  title        = {Weak Polymorphism can be Sound},
  journal      = {J. Funct. Program.},
  volume       = {6},
  number       = {1},
  pages        = {111--141},
  year         = {1996},
  url          = {https://doi.org/10.1017/S0956796800001593},
  doi          = {10.1017/S0956796800001593},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Greiner96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/BlellochG96,
  author       = {Guy E. Blelloch and
                  John Greiner},
  editor       = {Robert Harper and
                  Richard L. Wexelblat},
  title        = {A Provable Time and Space Efficient Implementation of {NESL}},
  booktitle    = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
                  May 24-26, 1996},
  pages        = {213--225},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/232627.232650},
  doi          = {10.1145/232627.232650},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BlellochG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/GreinerB96,
  author       = {John Greiner and
                  Guy E. Blelloch},
  editor       = {Hans{-}Juergen Boehm and
                  Guy L. Steele Jr.},
  title        = {A Provably Time-Efficient Parallel Implementation of Full Speculation},
  booktitle    = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Papers Presented at the Symposium,
                  St. Petersburg Beach, Florida, USA, January 21-24, 1996},
  pages        = {309--321},
  publisher    = {{ACM} Press},
  year         = {1996},
  url          = {https://doi.org/10.1145/237721.237797},
  doi          = {10.1145/237721.237797},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GreinerB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpca/BlellochG95,
  author       = {Guy E. Blelloch and
                  John Greiner},
  editor       = {John Williams},
  title        = {Parallelism in Sequential Functional Languages},
  booktitle    = {Proceedings of the seventh international conference on Functional
                  programming languages and computer architecture, {FPCA} 1995, La Jolla,
                  California, USA, June 25-28, 1995},
  pages        = {226--237},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/224164.224210},
  doi          = {10.1145/224164.224210},
  timestamp    = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fpca/BlellochG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spaa/Greiner94,
  author       = {John Greiner},
  editor       = {Lawrence Snyder and
                  Charles E. Leiserson},
  title        = {A Comparison of Parallel Algorithms for Connected Components},
  booktitle    = {Proceedings of the 6th Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '94, Cape May, New Jersey, USA, June 27-29,
                  1994},
  pages        = {16--25},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/181014.181021},
  doi          = {10.1145/181014.181021},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/Greiner94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}