abella-uses.bib

@inproceedings{accattoli12cpp,
  author = {Beniamino Accattoli},
  title = {Proof pearl: Abella formalization of lambda calculus
                 cube property},
  booktitle = {Second International Conference on Certified Programs
                 and Proofs},
  editor = {Chris Hawblitzel and Dale Miller},
  year = {2012},
  publisher = {Springer},
  series = {LNCS},
  volume = {7679},
  pages = {173--187}
}
@inproceedings{chaudhuri15cpp,
  author = {Kaustuv Chaudhuri and Matteo Cimini and Dale Miller},
  title = {A Lightweight Formalization of the Metatheory of
                 Bisimulation-Up-To},
  booktitle = {Proceedings of the 4th ACM-SIGPLAN Conference on
                 Certified Programs and Proofs},
  doi = {10.1145/2676724.2693170},
  year = {2015},
  editor = {Xavier Leroy and Alwen Tiu},
  pages = {157--166},
  month = jan,
  address = {Mumbai, India},
  publisher = {ACM},
  url = {https://hal.inria.fr/hal-01091524/document}
}
@inproceedings{chaudhuri16lsfa,
  author = {Kaustuv Chaudhuri and Leonardo Lima and Giselle Reis},
  title = {Formalized Meta-Theory of Sequent Calculi for
                 Substructural Logics},
  booktitle = {Workshop on Logical and Semantic Frameworks, with
                 Applications (LSFA)},
  year = {2016},
  note = {Post proceedings version to appear; Formalization
                 \url{https://github.com/meta-logic/abella-reasoning}}
}
@article{forster19jfp,
  author = {Yannick Forster and Ohad Kammar and Sam Lindley and
                 Matija Pretnar},
  title = {On the expressive power of user-defined effects:
                 effect handlers, monadic reflection, delimited
                 control},
  journal = {Journal of Functional Programming},
  year = {2019},
  volume = {29},
  url = {http://homepages.inf.ed.ac.uk/slindley/papers/effmondel-jfp.pdf}
}
@inproceedings{kaiser17fscd,
  title = {Relating System {F} and $\lambda$2: {A} Case Study in
                 {Coq}, {Abella} and {Beluga}},
  author = {Jonas Kaiser and Brigitte Pientka and Gert Smolka},
  booktitle = {{FSCD 2017 - 2nd International Conference on Formal
                 Structures for Computation and Deduction}},
  address = {Oxford, UK},
  year = {2017},
  editor = {Dale Miller},
  month = sep,
  doi = {10.4230/LIPIcs.FSCD.2017.21},
  pages = {21:1--21:19}
}
@inproceedings{wang16esop,
  author = {Yuting Wang and Gopalan Nadathur},
  title = {A Higher-Order Abstract Syntax Approach to Verified
                 Transformations on Functional Programs},
  booktitle = {Programming Languages and Systems. ESOP 2016},
  year = {2016},
  editor = {P. Thiemann},
  number = {9632},
  series = {LNCS},
  publisher = {Springer}
}
@phdthesis{wang16phd,
  author = {Yuting Wang},
  title = {A Higher-Order Abstract Syntax Approach to the
                 Verified Compilation of Functional Programs},
  school = {University of Minnesota},
  year = {2016},
  month = dec
}

This file was generated by bibtex2html 1.99.