BibTeX records: Nicholas Labich

• > Home > Persons > Nicholas Labich

@article{DBLP:journals/pacmpl/DaraisLNH17,
  author       = {David Darais and
                  Nicholas Labich and
                  Phuc C. Nguyen and
                  David Van Horn},
  title        = {Abstracting definitional interpreters (functional pearl)},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{ICFP}},
  pages        = {12:1--12:25},
  year         = {2017},
  url          = {https://doi.org/10.1145/3110256},
  doi          = {10.1145/3110256},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DaraisLNH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DaraisLNH17,
  author       = {David Darais and
                  Nicholas Labich and
                  Phuc C. Nguyen and
                  David Van Horn},
  title        = {Abstracting Definitional Interpreters},
  journal      = {CoRR},
  volume       = {abs/1707.04755},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.04755},
  eprinttype    = {arXiv},
  eprint       = {1707.04755},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DaraisLNH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/HammerDHLFHH15,
  author       = {Matthew A. Hammer and
                  Jana Dunfield and
                  Kyle Headley and
                  Nicholas Labich and
                  Jeffrey S. Foster and
                  Michael W. Hicks and
                  David Van Horn},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Incremental computation with names},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {748--766},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814305},
  doi          = {10.1145/2814270.2814305},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/HammerDHLFHH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/HammerDHLFHH15,
  author       = {Matthew A. Hammer and
                  Jana Dunfield and
                  Kyle Headley and
                  Nicholas Labich and
                  Jeffrey S. Foster and
                  Michael Hicks and
                  David Van Horn},
  title        = {Incremental Computation with Names},
  journal      = {CoRR},
  volume       = {abs/1503.07792},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.07792},
  eprinttype    = {arXiv},
  eprint       = {1503.07792},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/HammerDHLFHH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/JohnsonLMH13,
  author       = {J. Ian Johnson and
                  Nicholas Labich and
                  Matthew Might and
                  David Van Horn},
  editor       = {Greg Morrisett and
                  Tarmo Uustalu},
  title        = {Optimizing abstract abstract machines},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages        = {443--454},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2500365.2500604},
  doi          = {10.1145/2500365.2500604},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/JohnsonLMH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}