diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-28 16:45:45 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-28 17:40:57 -0700 |
commit | 0b48dc203e0e789646841880f49cd8ae08f6412d (patch) | |
tree | fd0bed2defecbe4d3d79cb8154d2343095fc2add /spec/14-references.md | |
parent | 0f1dcc41cb445eac182c8101a3e0c95594b0f95e (diff) | |
download | scala-0b48dc203e0e789646841880f49cd8ae08f6412d.tar.gz scala-0b48dc203e0e789646841880f49cd8ae08f6412d.tar.bz2 scala-0b48dc203e0e789646841880f49cd8ae08f6412d.zip |
Number files like chapters. Consolidate toc & preface.
Aside from the consolidation of title & preface in index.md,
this commit was produced as follows:
```
cd spec/
g mv 03-lexical-syntax.md 01-lexical-syntax.md
g mv 04-identifiers-names-and-scopes.md 02-identifiers-names-and-scopes.md
g mv 05-types.md 03-types.md
g mv 06-basic-declarations-and-definitions.md 04-basic-declarations-and-definitions.md
g mv 07-classes-and-objects.md 05-classes-and-objects.md
g mv 08-expressions.md 06-expressions.md
g mv 09-implicit-parameters-and-views.md 07-implicit-parameters-and-views.md
g mv 10-pattern-matching.md 08-pattern-matching.md
g mv 11-top-level-definitions.md 09-top-level-definitions.md
g mv 12-xml-expressions-and-patterns.md 10-xml-expressions-and-patterns.md
g mv 13-user-defined-annotations.md 11-user-defined-annotations.md
g mv 14-the-scala-standard-library.md 12-the-scala-standard-library.md
g mv 15-syntax-summary.md 13-syntax-summary.md
g mv 16-references.md 14-references.md
perl -pi -e 's/03-lexical-syntax/01-lexical-syntax/g' *.md
perl -pi -e 's/04-identifiers-names-and-scopes/02-identifiers-names-and-scopes/g' *.md
perl -pi -e 's/05-types/03-types/g' *.md
perl -pi -e 's/06-basic-declarations-and-definitions/04-basic-declarations-and-definitions/g' *.md
perl -pi -e 's/07-classes-and-objects/05-classes-and-objects/g' *.md
perl -pi -e 's/08-expressions/06-expressions/g' *.md
perl -pi -e 's/09-implicit-parameters-and-views/07-implicit-parameters-and-views/g' *.md
perl -pi -e 's/10-pattern-matching/08-pattern-matching/g' *.md
perl -pi -e 's/11-top-level-definitions/09-top-level-definitions/g' *.md
perl -pi -e 's/12-xml-expressions-and-patterns/10-xml-expressions-and-patterns/g' *.md
perl -pi -e 's/13-user-defined-annotations/11-user-defined-annotations/g' *.md
perl -pi -e 's/14-the-scala-standard-library/12-the-scala-standard-library/g' *.md
perl -pi -e 's/15-syntax-summary/13-syntax-summary/g' *.md
perl -pi -e 's/16-references/14-references/g' *.md
```
Diffstat (limited to 'spec/14-references.md')
-rw-r--r-- | spec/14-references.md | 199 |
1 files changed, 199 insertions, 0 deletions
diff --git a/spec/14-references.md b/spec/14-references.md new file mode 100644 index 0000000000..a16176c651 --- /dev/null +++ b/spec/14-references.md @@ -0,0 +1,199 @@ +--- +title: References +layout: default +chapter: 14 +--- + + +# References + +<!-- TODO + + +%% Article +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@article{milner:polymorphism, + author = {Robin Milner}, + title = {A {T}heory of {T}ype {P}olymorphism in {P}rogramming}, + journal = {Journal of Computer and System Sciences}, + year = {1978}, + month = {Dec}, + volume = {17}, + pages = {348-375}, + folder = { 2-1} +} + +@Article{wirth:ebnf, + author = "Niklaus Wirth", + title = "What can we do about the unnecessary diversity of notation +for syntactic definitions?", + journal = "Comm. ACM", + year = 1977, + volume = 20, + pages = "822-823", + month = nov +} + + +%% Book +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@Book{abelson-sussman:structure, + author = {Harold Abelson and Gerald Jay Sussman and Julie Sussman}, + title = {The Structure and Interpretation of Computer Programs, 2nd + edition}, + publisher = {MIT Press}, + address = {Cambridge, Massachusetts}, + year = {1996}, + url = {http://mitpress.mit.edu/sicp/full-text/sicp/book/book.html} +} + +@Book{goldberg-robson:smalltalk-language, + author = "Adele Goldberg and David Robson", + title = "{Smalltalk-80}; The {L}anguage and Its {I}mplementation", + publisher = "Addison-Wesley", + year = "1983", + note = "ISBN 0-201-11371-6" +} + +@Book{matsumtoto:ruby, + author = {Yukihiro Matsumoto}, + title = {Ruby in a {N}utshell}, + publisher = {O'Reilly \& Associates}, + year = "2001", + month = "nov", + note = "ISBN 0-596-00214-9" +} + +@Book{rossum:python, + author = {Guido van Rossum and Fred L. Drake}, + title = {The {P}ython {L}anguage {R}eference {M}anual}, + publisher = {Network Theory Ltd}, + year = "2003", + month = "sep", + note = {ISBN 0-954-16178-5\hspace*{\fill}\\ + \verb@http://www.python.org/doc/current/ref/ref.html@} +} + +@Manual{odersky:scala-reference, + title = {The {S}cala {L}anguage {S}pecification, Version 2.4}, + author = {Martin Odersky}, + organization = {EPFL}, + month = feb, + year = 2007, + note = {http://www.scala-lang.org/docu/manuals.html} +} + +@Book{odersky:scala-reference, + ALTauthor = {Martin Odersky}, + ALTeditor = {}, + title = {The {S}cala {L}anguage {S}pecification, Version 2.4}, + publisher = {}, + year = {}, + OPTkey = {}, + OPTvolume = {}, + OPTnumber = {}, + OPTseries = {}, + OPTaddress = {}, + OPTedition = {}, + OPTmonth = {}, + OPTnote = {}, + OPTannote = {} +} + + +%% InProceedings +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@InProceedings{odersky-et-al:fool10, + author = {Martin Odersky and Vincent Cremet and Christine R\"ockl + and Matthias Zenger}, + title = {A {N}ominal {T}heory of {O}bjects with {D}ependent {T}ypes}, + booktitle = {Proc. FOOL 10}, + year = 2003, + month = jan, + note = {\hspace*{\fill}\\ + \verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@} +} + + +%% Misc +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +@Misc{w3c:dom, + author = {W3C}, + title = {Document Object Model ({DOM})}, + howpublished = {\hspace*{\fill}\\ + \verb@http://www.w3.org/DOM/@} +} + +@Misc{w3c:xml, + author = {W3C}, + title = {Extensible {M}arkup {L}anguage ({XML})}, + howpublished = {\hspace*{\fill}\\ + \verb@http://www.w3.org/TR/REC-xml@} +} + +@TechReport{scala-overview-tech-report, + author = {Martin Odersky and al.}, + title = {An {O}verview of the {S}cala {P}rogramming {L}anguage}, + institution = {EPFL Lausanne, Switzerland}, + year = 2004, + number = {IC/2004/64} +} + +@InProceedings{odersky:sca, + author = {Martin Odersky and Matthias Zenger}, + title = {Scalable {C}omponent {A}bstractions}, + booktitle = {Proc. OOPSLA}, + year = 2005 +} + +@InProceedings{odersky-et-al:ecoop03, + author = {Martin Odersky and Vincent Cremet and Christine R\"ockl and Matthias Zenger}, + title = {A {N}ominal {T}heory of {O}bjects with {D}ependent {T}ypes}, + booktitle = {Proc. ECOOP'03}, + year = 2003, + month = jul, + series = {Springer LNCS} +} + +@InCollection{cremet-odersky:pilib, + author = {Vincent Cremet and Martin Odersky}, + title = {PiLib} - A {H}osted {L}anguage for {P}i-{C}alculus {S}tyle {C}oncurrency}, + booktitle = {Domain-Specific Program Generation}, + publisher = {Springer}, + year = 2005, + volume = 3016, + series = {Lecture Notes in Computer Science} +} + +@InProceedings{odersky-zenger:fool12, + author = {Martin Odersky and Matthias Zenger}, + title = {Independently {E}xtensible {S}olutions to the {E}xpression {P}roblem}, + booktitle = {Proc. FOOL 12}, + year = 2005, + month = jan, + note = {\verb@http://homepages.inf.ed.ac.uk/wadler/fool@} +} + +@InProceedings{odersky:scala-experiment, + author = {Martin Odersky}, + title = {The {S}cala {E}xperiment - {C}an {W}e {P}rovide {B}etter {L}anguage {S}upport for {C}omponent {S}ystems?}, + booktitle = {Proc. ACM Symposium on Principles of Programming Languages}, + year = 2006 +} + +@MISC{kennedy-pierce:decidable, + author = {Andrew J. Kennedy and Benjamin C. Pierce}, + title = {On {D}ecidability of {N}ominal {S}ubtyping with {V}ariance}, + year = {2007}, + month = jan, + note = {FOOL-WOOD '07}, + short = {http://www.cis.upenn.edu/~bcpierce/papers/variance.pdf} +} + + + +-->
\ No newline at end of file |