BibTeX record conf/icfp/EarlSMH12

download as .bib file

@inproceedings{DBLP:conf/icfp/EarlSMH12,
  author       = {Christopher Earl and
                  Ilya Sergey and
                  Matthew Might and
                  David Van Horn},
  editor       = {Peter Thiemann and
                  Robby Bruce Findler},
  title        = {Introspective pushdown analysis of higher-order programs},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages        = {177--188},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364527.2364576},
  doi          = {10.1145/2364527.2364576},
  timestamp    = {Tue, 21 Mar 2023 21:00:25 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/EarlSMH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics