blob: a0bbd5711543df814eb5c1b1fb94dd6a5a1057d6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
@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@}
}
|
