1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
@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.\hspace*{\fill}\\
\verb@http://mitpress.mit.edu/sicp/full-text/sicp/book/book.html@},
url = {http://mitpress.mit.edu/sicp/full-text/sicp/book/book.html}
}
@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 = {\hspace*{\fill}\\
\verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@}
}
|
