Hi,
I am happy to announce the first realease of ocaml-dblp, which provides both a program and a library to query the DBLP bibliographic database. In practice, it is mostly useful for retrieving bibtex entries with commands such as
dblp bibtex girard locus solum
which will spit out
@article{DBLP:journals/mscs/Girard01,
author = {Jean{-}Yves Girard},
title = {Locus Solum: From the rules of logic to the logic of rules},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {3},
pages = {301--506},
year = {2001},
url = {https://doi.org/10.1017/S096012950100336X},
doi = {10.1017/S096012950100336X},
timestamp = {Wed, 01 Apr 2020 08:48:47 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Girard01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
(or, even better, use dblp bib
to directly add this at the end of the .bib
file in the current directory).
It might still need some polishing, feel free to reach out if you encounter some problems.