equal
deleted
inserted
replaced
1568 volume = {4424}, |
1568 volume = {4424}, |
1569 pages = "632--647", |
1569 pages = "632--647", |
1570 year = 2007, |
1570 year = 2007, |
1571 publisher = Springer} |
1571 publisher = Springer} |
1572 |
1572 |
|
1573 @unpublished{traytel-berghofer-nipkow-2011, |
|
1574 author = {D. Traytel and S. Berghofer and T. Nipkow}, |
|
1575 title = {Extending Hindley-Milner Type Inference with Coercive |
|
1576 Subtyping (long version)}, |
|
1577 year = 2011, |
|
1578 note = {Submitted, |
|
1579 \url{http://isabelle.in.tum.de/doc/implementation.pdf}}}, |
|
1580 } |
|
1581 |
1573 @Unpublished{Trybulec:1993:MizarFeatures, |
1582 @Unpublished{Trybulec:1993:MizarFeatures, |
1574 author = {A. Trybulec}, |
1583 author = {A. Trybulec}, |
1575 title = {Some Features of the {Mizar} Language}, |
1584 title = {Some Features of the {Mizar} Language}, |
1576 note = {Presented at a workshop in Turin, Italy}, |
1585 note = {Presented at a workshop in Turin, Italy}, |
1577 year = 1993 |
1586 year = 1993 |