--- a/src/Doc/manual.bib Mon Oct 14 15:01:41 2013 +0200
+++ b/src/Doc/manual.bib Mon Oct 14 15:13:11 2013 +0200
@@ -1693,13 +1693,15 @@
year = 2007,
publisher = Springer}
-@unpublished{traytel-berghofer-nipkow-2011,
- author = {D. Traytel and S. Berghofer and T. Nipkow},
- title = {Extending Hindley-Milner Type Inference with Coercive
- Subtyping (long version)},
+@inproceedings{traytel-berghofer-nipkow-2011,
+ author = {Dmitriy Traytel and Stefan Berghofer and Tobias Nipkow},
+ title = {{Extending Hindley-Milner Type Inference with Coercive Structural Subtyping}},
year = 2011,
- note = {Submitted,
- \url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
+ editor = {Hongseok Yang},
+ booktitle = "APLAS 2011",
+ series = LNCS,
+ volume = {7078},
+ pages = "89--104"}
@inproceedings{traytel-et-al-2012,
author = "Dmitriy Traytel and Andrei Popescu and Jasmin Christian Blanchette",