Duplicated publication records

[dunnl]

This is a copy of an issue from the original (euisuny) repo. The issue cannot be transferred because they are owned by two different users.

Professors collaborate on some papers, so their .bib files have duplicated entries, which should be merged. For example, since 2016:

* Synthesizing Symmetric Lenses

* From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server

* Synthesizing Quotient Lenses

* Synthesizing Bijective Lenses

I am suspicious that this is why there are lines like

bib2bib -ob $@-tmp -c 'not($$key = "poplmark") and not($$key = "AITR-474")' $@

here in the Makefile. The bib2bib documentation says -c is to "specify a condition for selecting the entries," so evidently this filters POPLmark out of Benjamin's papers.

So it is a matter of coming up with a proper condition for selecting more recent papers.

[hengchu]

I wonder if we could actually implement the bibliography generation step in Haskell? This would eliminate the bib2bib dependency, and provide more flexibility for filtering/transforming bibliography.

There is a bibtex parser in Haskell, but it hasn't been updated since 2016: https://hackage.haskell.org/package/bibtex

[dunnl]

That's a good idea @hengchu. I'll look into this.