BibTeX records: Kyle Headley

download as .bib file

@article{DBLP:journals/corr/abs-2403-04651,
  author       = {Joseph W. Cutler and
                  Craig Disselkoen and
                  Aaron Eline and
                  Shaobo He and
                  Kyle Headley and
                  Michael Hicks and
                  Kesha Hietala and
                  Eleftherios Ioannidis and
                  John H. Kastner and
                  Anwar Mamat and
                  Darin McAdams and
                  Matt McCutchen and
                  Neha Rungta and
                  Emina Torlak and
                  Andrew Wells},
  title        = {Cedar: {A} New Language for Expressive, Fast, Safe, and Analyzable
                  Authorization (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2403.04651},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.04651},
  doi          = {10.48550/ARXIV.2403.04651},
  eprinttype    = {arXiv},
  eprint       = {2403.04651},
  timestamp    = {Wed, 03 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-04651.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/MachiryKMEHH22,
  author       = {Aravind Machiry and
                  John H. Kastner and
                  Matt McCutchen and
                  Aaron Eline and
                  Kyle Headley and
                  Michael Hicks},
  title        = {C to checked {C} by 3c},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA1}},
  pages        = {1--29},
  year         = {2022},
  url          = {https://doi.org/10.1145/3527322},
  doi          = {10.1145/3527322},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MachiryKMEHH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-13445,
  author       = {Aravind Machiry and
                  John H. Kastner and
                  Matt McCutchen and
                  Aaron Eline and
                  Kyle Headley and
                  Michael Hicks},
  title        = {C to Checked {C} by 3C},
  journal      = {CoRR},
  volume       = {abs/2203.13445},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.13445},
  doi          = {10.48550/ARXIV.2203.13445},
  eprinttype    = {arXiv},
  eprint       = {2203.13445},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-13445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Headley18,
  author       = {Kyle Headley},
  editor       = {Matteo Cimini and
                  Jay McCarthy},
  title        = {A {DSL} embedded in Rust},
  booktitle    = {Proceedings of the 30th Symposium on Implementation and Application
                  of Functional Languages, {IFL} 2018, Lowell, MA, USA, September 5-7,
                  2018},
  pages        = {119--126},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3310232.3310241},
  doi          = {10.1145/3310232.3310241},
  timestamp    = {Thu, 04 Apr 2019 09:36:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Headley18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1808-07826,
  author       = {Matthew A. Hammer and
                  Jana Dunfield and
                  Kyle Headley and
                  Monal Narasimhamurthy and
                  Dimitrios J. Economou},
  title        = {Fungi: Typed incremental computation with names},
  journal      = {CoRR},
  volume       = {abs/1808.07826},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.07826},
  eprinttype    = {arXiv},
  eprint       = {1808.07826},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-07826.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HeadleyH16,
  author       = {Kyle Headley and
                  Matthew A. Hammer},
  editor       = {David Van Horn and
                  John Hughes},
  title        = {The Random Access Zipper - Simple, Persistent Sequences},
  booktitle    = {Trends in Functional Programming - 17th International Conference,
                  {TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10447},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-030-14805-8\_9},
  doi          = {10.1007/978-3-030-14805-8\_9},
  timestamp    = {Tue, 21 Mar 2023 21:02:23 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/HeadleyH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/HeadleyH16,
  author       = {Kyle Headley and
                  Matthew A. Hammer},
  title        = {The Random Access Zipper: Simple, Purely-Functional Sequences},
  journal      = {CoRR},
  volume       = {abs/1608.06009},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.06009},
  eprinttype    = {arXiv},
  eprint       = {1608.06009},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HeadleyH16.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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.