BibTeX record journals/corr/abs-1807-01872

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1807-01872,
  author    = {Rodolphe Lepigre and
               Christophe Raffalli},
  title     = {Abstract Representation of Binders in OCaml using the Bindlib Library},
  booktitle = {LFMTP@FSCD},
  series    = {{EPTCS}},
  volume    = {274},
  pages     = {42--56},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics