BibTeX record conf/icfp/ReynoldsHCA20

• > Home > conf/icfp/ReynoldsHCA20

@inproceedings{DBLP:conf/icfp/ReynoldsHCA20,
  author       = {Thomas N. Reynolds and
                  William L. Harrison and
                  Rohit Chadha and
                  Gerard Allwein},
  editor       = {James McKinna and
                  Cyrus Omar},
  title        = {Strongly bounded termination with applications to security and hardware
                  synthesis},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3406089.3409029},
  doi          = {10.1145/3406089.3409029},
  timestamp    = {Mon, 03 Aug 2020 15:47:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ReynoldsHCA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}