Add some papers about partial evaluation.
Add Catarina Coquand's papers on NbE.
Add classic references for NbE.
Add more papers on partial evaluation.
Warning fixes for bibliography
Add some related work.
Add two papers.
Bibs: Capitals
Bibs: Disable URL
Bibs: Add Haskell Symposium
Shorten some well-known conferences
Bibs: Add LNCS
BibTeX fix

This entry had the same year twice.
Bibs: Case fix
Bibs: shorten journals and omit months
Shorten yet more bib entries

Now all but one entries take just 2 lines.
Improve new references
Fix bib more
Undo shortening of references.
Merge shared bibliography.

Conflicts:
	bib/tsr.bib