--- a/src/Doc/manual.bib Thu Dec 28 11:49:54 2017 +0100
+++ b/src/Doc/manual.bib Thu Dec 28 12:06:54 2017 +0100
@@ -2460,6 +2460,8 @@
@Proceedings{tphols2008,
title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
+ editor = {Otmane A{\"{\i}}t Mohamed and C{\'{e}}sar A. Mu{\~{n}}oz and
+ Sofi{\`{e}}ne Tahar},
publisher = Springer,
series = LNCS,
year = 2008}
@@ -2476,7 +2478,8 @@
@unpublished{classes_modules,
title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
- author = {Stefan Wehr et. al.}
+ author = {Stefan Wehr and Manuel M. T. Chakravarty},
+ note = {\url{https://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf}}
}
@inproceedings{runciman-naylor-lindblad,