Add bib entry for Mitchell's book
Bibs: remove cruft from bib entries in use
Bibs: BibDesk updates
Bibs: add "Observational equality, now!"
Bibs: add non-ILC related paper on PQL (parallel query language)

This work will be discussed at the Hessian workshop 2013.
Bibs: Paper to cite for POPL'14
Bibs: paper related to my Scala'13 work
Bibs: add abstract for paper to cite for POPL'14
Bibs: more related work for ILC
Bibs: fix output
Bibs: use macro for PODS
Bibs: add Koch's PODS paper
Bibs: more ILC entries, fix some existing ones
Bibs: syntax fix
Bibs: remove cruft, standardize more
Bibs: add book on HoTT (homotopy type theory)
Bibs: add non-ILC entry
Bibs: add entry
Bibs: reformat with BibDesk
Bibs: Add Hofmann's "Conservativity of equality reflection over ITT"