-
Notifications
You must be signed in to change notification settings - Fork 10
/
rayside-polymorphism.bib
128 lines (100 loc) · 4 KB
/
rayside-polymorphism.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
% Originally ParametricPolymorphism.bib, from Derek Rayside
%%%%%%%%%%%%%%%%%%% Detecting %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{Duggan,
Author = "Dominic Duggan",
Title = "Modular Type-Based Reverse Engineering of Parameterized Types in {Java} Code",
crossref = "OOPSLA99",
pages = "97--113"
}
%%%%%%%%%%%%%%%%%%% Implementing %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{PolyJ,
Author = "Andrew C. Myers and Joseph A. Blank and Barbara Liskov",
Title = "Parameterized Types for {Java}",
crossref = "POPL97",
Pages = "132--145",
}
@inproceedings{Pizza,
Author = "Martin Odersky and Philip Wadler",
Title = "Pizza into {Java}: Translating theory into practice",
crossref = "POPL97",
Pages = "146--159",
}
@inproceedings{GJ98,
Author = "Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler",
Title = "Making the future safe for the past: Adding Genericity to the {Java} Programming Language",
crossref = "OOPSLA98",
Pages = "183--200"
}
@TechReport{JSR14-participant-draft,
author = "Gilad Bracha and Norman Cohen and Christian Kemper and
Steve Mark and Martin Odersky and Sven-Eric Panitz and
David Stoutamire and Kreste Thorup and Philip Wadler",
title = "Adding Generics to the {Java} Programming Language:
Participant Draft Specification",
institution = "Sun Microsystems",
year = 2001,
month = apr # "~27,"
}
@article{GJ00,
Author = "Philip Wadler",
Title = "GJ: A Generic {Java}",
Journal = "Dr Dobbs",
Year = 2000,
Month = feb,
Volume = 25,
Number = 2,
Pages = "23 --- 28"
}
%% Evered, M. "Unconstraining Genericity" , Proc. Conf. on Technology of Object-Oriented Languages and Systems, 24, Beijing, 1997, pp. 423-431.
%% Evered, M., Keedy, J.L., Menger, G. and Schmolitzky, A. "Toward Zero-Overhead Genericity in Java", 3. Fachkongre�, Smalltalk und Java in Industrie und Ausbildung, Erfurt, 1997, pp. 62-67.
@inproceedings{Genja,
Author = "Evered, M. and Keedy, J.L. and Menger, G. and Schmolitzky, A.",
Title = "Genja --- A New Proposal for Genericity in {Java}",
BookTitle = "Proc. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS-25)",
Address = "Melbourne",
Year = 1997
}
@inproceedings{NextGen,
Author = "Robert Cartwright and Guy L. Steele",
Title = "Compatable Genericity with Run-time Types for the {Java} Programming Language",
crossref = "OOPSLA98",
Pages = "201--215"
}
@inproceedings{Solorzano,
Author = "Jose H. Solorzano and Suad Alagi\'{c}",
Title = "Parametric Polymorphism for {Java}: A Reflective Solution",
crossref = "OOPSLA98",
Pages = "216--225"
}
@inproceedings{pmg,
Author = "Boris Bokowski and Markus Dahm",
Title = "Poor Man's Genericity for {Java}",
BookTitle = "JIT",
Year = "1999",
Note = "Proceedings published by Springer-Verlag."
}
@inproceedings{Agesen,
Author = "Ole Agesen and Stephen Freund and John Mitchell",
Title = "Adding Type Parameterization to the {Java} Language",
crossref = "OOPSLA97",
pages = "49-65"
}
@inproceedings{Thorup99,
Author = "Kresten Krab Thorup and Mads Torgersen",
Title = "Unifying Genericity: Combining the Benefits of
Virtual Types and Parameterized Classes",
crossref = "ECOOP99",
Pages = "186--204"
}
@inproceedings{Thorup97,
Author = "Kresten Krab Thorup",
Title = "Genericity in {Java} with Virtual Types",
crossref = "ECOOP97",
Pages = "444--471"
}
@inproceedings{BOW98,
Author = "Kim Bruce and Martin Odersky and Philip Wadler",
Title = "A Statically Safe Alternative to Virtual Types",
crossref = "ECOOP98",
Pages = "523--549"
}