add finalizeForeignPtr
[haskell-report.git] / report / haskell.bib
1 @article{hindley69
2 ,key={hindley}
3 ,author={Hindley, R.}
4 ,title={The Principal Type Scheme of an Object in Combinatory Logic}
5 ,journal={Transactions of the American Mathematical Society}
6 ,volume=146
7 ,year=1969
8 ,month=Dec
9 ,pages={29--60}
10 }
11
12 @article{milner78
13 ,key={milner}
14 ,author={Milner, R.A.}
15 ,title={A Theory of Type Polymorphism in Programming}
16 ,journal={Journal of Computer and System Sciences}
17 ,volume=17
18 ,number=3
19 ,year=1978
20 ,month=Dec
21 ,pages={348--375}
22 }
23
24 @book{curry&feys:book
25 ,key={curry}
26 ,author={Curry, H.K. and Feys, R.}
27 ,title={Combinatory Logic}
28 ,publisher={North-Holland Pub. Co.}
29 ,address={Amsterdam}
30 ,year=1958
31 }
32
33 @book{steele:common-lisp,
34 author="{Steele Jr.}, G.L.",
35 title="{Common} {Lisp}: The Language",
36 publisher="Digital Press",
37 address="Burlington, Mass.",
38 year=1984}
39
40 @article{RRRRS
41 ,key={rees}
42 ,author={Rees, J. and Clinger (eds.), W.}
43 ,title={The Revised$^3$ Report on the Algorithmic Language {S}cheme}
44 ,journal={SIGPLAN Notices}
45 ,volume=21
46 ,number=12
47 ,year=1986
48 ,month=dec
49 ,pages={37--79}
50 }
51
52 @inproceedings{penfield:complex-apl,
53 author="Penfield, Jr., P.",
54 title="Principal Values and Branch Cuts in Complex {APL}",
55 booktitle="APL '81 Conference Proceedings",
56 address="San Francisco",
57 year=1981,
58 month=sep,
59 pages="248--256"}
60
61 @techreport{nikhil:id-nouveau,
62 author="Nikhil, R.S.",
63 title="{Id-Nouveau} (Version 88.0) Reference Manual",
64 institution="MIT Laboratory for Computer Science",
65 address="Cambridge, Mass.",
66 year=1988,
67 month=mar}
68
69 @techreport{hudak:io
70 ,key="Hudak"
71 ,author="Hudak, P. and Sundaresh, R."
72 ,title="On the Expressiveness of Purely Functional {I/O} Systems"
73 ,institution="Yale University, Department of Computer Science"
74 ,month=dec
75 ,number="YALEU/DCS/RR665"
76 ,year=1988
77 }
78
79 @book{peyton-jones:book
80 ,key={peyton jones}
81 ,author={Peyton Jones, S.}
82 ,title={The Implementation of Functional Programming Languages}
83 ,publisher={Prentice-Hall International}
84 ,address={Englewood Cliffs, New Jersey}
85 ,year=1987
86 }
87
88 @book{gordon
89 ,key={gordon}
90 ,author={Gordon, J.C.}
91 ,title={The Denotational Description of Programming Languages}
92 ,publisher={Springer-Verlag}
93 ,address={New York}
94 ,year=1979
95 }
96
97 @article{mcca60
98 ,key="McCarthy"
99 ,author="McCarthy, J."
100 ,title="Recursive functions of symbolic expressions and their
101 computation by machine, {P}art {I}"
102 ,journal="CACM"
103 ,volume=3
104 ,number=4
105 ,pages="184--195"
106 ,month=Apr
107 ,year=1960
108 }
109
110 @article{back78
111 ,key="Backus"
112 ,author="Backus, J."
113 ,title="Can programming be liberated from the von {N}eumann style?
114 {A} functional style and its algebra of programs"
115 ,journal="CACM"
116 ,volume=21
117 ,number=8
118 ,pages="613--641"
119 ,month=Aug
120 ,year=1978
121 }
122
123 @InProceedings{wadler:array-primitive,
124 author="Wadler, P.",
125 title="A New Array Operation",
126 editor="Fasel, J.H. and Keller, R.M.",
127 booktitle="Graph Reduction",
128 publisher="Springer-Verlag",
129 volume="279",
130 series="Lecture Notes in Computer Science",
131 address="Heidelberg",
132 year=1987,
133 pages="328--335"}
134
135 @InProceedings{turn85
136 ,key={turner}
137 ,author={Turner, D.A.}
138 ,title={Miranda: a non-strict functional language with polymorphic types}
139 ,booktitle={Functional Programming Languages and Computer Architecture}
140 ,month=Sep
141 ,year=1985
142 ,publisher={Springer-Verlag}
143 ,address={Nancy, France}
144 ,volume="201"
145 ,series="Lecture Notes in Computer Science"
146 ,pages={1--16}
147 }
148
149 @article{landin66
150 ,key={landin}
151 ,author={Landin, P.J.}
152 ,title={The Next 700 Programming Languages}
153 ,journal="CACM"
154 ,volume=9
155 ,number=3
156 ,year=1966
157 ,month=mar
158 ,pages={157--166}
159 }
160
161 @InProceedings{wadler:classes
162 ,key={wadler}
163 ,author={Wadler, P. and Blott, S.}
164 ,title={How to Make {\em ad hoc} Polymorphism Less {\em ad hoc}}
165 ,booktitle={Proceedings of 16th ACM Symposium
166 on Principles of Programming Languages}
167 ,month=Jan
168 ,address="Austin, Texas"
169 ,year=1989
170 ,pages={60--76}
171 }
172
173 @inproceedings{gordonetal78
174 ,key={gordon}
175 ,author={Gordon, M. and Milner, R. and Morris, L. and Newey, M. and
176 Wadsworth, C.}
177 ,title={A Metalanguage for Interactive Proof in {LCF}}
178 ,booktitle={Proceedings of 5th ACM Symposium
179 on Principles of Programming Languages}
180 ,year=1978
181 ,pages={119--130}
182 }
183
184 @InProceedings{burs80
185 ,key={burstall}
186 ,author={Burstall, R.M. and MacQueen, D.B. and Sannella, D.T.}
187 ,title={{HOPE}: An experimental Applicative Language}
188 ,booktitle={The 1980 LISP Conference}
189 ,address={Stanford University}
190 ,year=1980
191 ,month=aug
192 ,pages={136--143}
193 }
194
195 @Article{haskell98,
196 author = {Simon {Peyton Jones} and others},
197 title = {Haskell 98 Language and Libraries: the Revised Report},
198 journal = {Journal of Functional Programming},
199 year = 2003,
200 volume = 13,
201 number = 1,
202 URL = "http://haskell.org/definition/",
203 }
204
205 @InProceedings{boehm:finalizers,
206 author = {{Hans-J.} Boehm},
207 title = {Destructors, Finalizers, and Synchronization},
208 booktitle = {Proceedings of the 30th {ACM} {SIGPLAN}-{SIGACT} Symposium
209 on Principles of Programming Languages},
210 pages = {262--272},
211 year = 2003,
212 publisher = {ACM Press}
213 }
214
215 @Book{C,
216 author = "Brian W. Kernighan and Dennis M. Ritchie",
217 title = "The C Programming Language",
218 publisher = "Prentice Hall",
219 edition = "second",
220 year = 1988
221 }
222
223 @Book{gosling-etal:Java,
224 author = "James Gosling and Bill Joy and Guy Steele",
225 title = "The {Java} Language Specification",
226 publisher = "Addison-Wesley",
227 year = 1997,
228 series = "The Java Series"
229 }
230
231 @Book{lindholm-etal:JVM,
232 author = {Tim Lindholm and Frank Yellin},
233 title = {The {Java} Virtual Machine Specification},
234 publisher = {Addison-Wesley},
235 year = 1996
236 }
237
238 @Book{liang:JNI,
239 author = {Sheng Liang},
240 title = {The Java Native Interface: Programmer's Guide and
241 Specification},
242 publisher = {Addison Wesley},
243 year = 1999
244 }
245
246 @Misc{C99,
247 author = {International Standard {ISO/IEC}},
248 title = {Programming Languages -- {C}},
249 note = {9899:1999 (E)}
250 }
251
252
253
254 @Misc{unicode,
255 author = {Unicode Consortium},
256 title = {Unicode Standard},
257 note = {\url{http://unicode.org/standard/standard.html}}}
258
259 @inproceedings{damas-milner82,
260 Author = "Luis Damas and Robin Milner",
261 Title = "Principal Type-Schemes for Functional Programs",
262 Publisher = "ACM Press",address="New York",
263 BookTitle = {Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages},
264 Pages = "207-12",
265 Year = 1982,
266 keywords = "Main cite for Damas-Milner type inference"
267 }
268
269 @article{jones:cclasses,
270 author = {MP Jones},
271 title = {A system of constructor classes: overloading and implicit higher-order polymorphism},
272 journal = {Journal of Functional Programming},
273 volume = {5},
274 number = {1},
275 pages = {1-36},
276 month = jan,
277 year = {1995},
278 keywords = {Haskell}
279 }
280