A Reasonably Exceptional Type Theory (bibtex)
by Pierre-Marie Pédrot, Nicolas Tabareau, Hans Fehrmann and Éric Tanter
Reference:
A Reasonably Exceptional Type Theory (Pierre-Marie Pédrot, Nicolas Tabareau, Hans Fehrmann and Éric Tanter), In Proceedings of the ACM on Programming Languages, ACM Press, volume 3, 2019.
Bibtex Entry:
@article{pedrotAl:icfp2019,
  author    = {Pierre-Marie P{\'e}drot and Nicolas Tabareau and Hans Fehrmann and {\'E}ric Tanter},
  title     = {A Reasonably Exceptional Type Theory},
  pages     = {108:1--108:29},
  url       = {http://pleiad.dcc.uchile.cl/papers/2019/pedrotAl-icfp2019.pdf},
  doi       = {10.1145/3341712},
  journal   = {Proceedings of the ACM on Programming Languages},
  volume    = 3,
  number    = {ICFP},
  month     = aug,
  year      = 2019,
  publisher = {ACM Press},
}
Powered by bibtexbrowser