Typed closure conversion for the calculus of constructions (bibtex)
by William J. Bowman and Amal Ahmed
Reference:
Typed closure conversion for the calculus of constructions (William J. Bowman and Amal Ahmed), In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018 (Jeffrey S. Foster, Dan Grossman, eds.), ACM, 2018.
Bibtex Entry:
@inproceedings{DBLP:conf/pldi/BowmanA18,
  author    = {William J. Bowman and
               Amal Ahmed},
  editor    = {Jeffrey S. Foster and
               Dan Grossman},
  title     = {Typed closure conversion for the calculus of constructions},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  pages     = {797--811},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192366.3192372},
  doi       = {10.1145/3192366.3192372},
  timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/BowmanA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser