diff options
Diffstat (limited to 'doc/reference/examples.bib')
-rw-r--r-- | doc/reference/examples.bib | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/doc/reference/examples.bib b/doc/reference/examples.bib deleted file mode 100644 index a0bbd57115..0000000000 --- a/doc/reference/examples.bib +++ /dev/null @@ -1,20 +0,0 @@ - -@Book{ abelson-sussman:structure, - author = {Harold Abelson and Gerald Jay Sussman and Julie Sussman}, - title = {The Structure and Interpretation of Computer Programs, 2nd - edition}, - year = {1996}, - publisher = {MIT Press}, - address = {Cambridge, Massachusetts} -} - -@InProceedings{ odersky-et-al:fool10, - author = {Martin Odersky and Vincent Cremet and Christine R\"ockl - and Matthias Zenger}, - title = {A Nominal Theory of Objects with Dependent Types}, - booktitle = {Proc. FOOL 10}, - year = 2003, - month = jan, - note = {\verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@} - -} |