Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/reference.bib @ 74:e9ff08a232f7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add references
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 06 Feb 2017 16:13:14 +0900
parents fb42478e4c96
children 16dc3337a5a9
comparison
equal deleted inserted replaced
73:a92ac75bd9fa 74:e9ff08a232f7
127 title = {The CBMC Homepage}, 127 title = {The CBMC Homepage},
128 howpublished = {\url{http://www.cprover.org/cbmc/}}, 128 howpublished = {\url{http://www.cprover.org/cbmc/}},
129 note = {Accessed: 2016/01/20(Fri)} 129 note = {Accessed: 2016/01/20(Fri)}
130 } 130 }
131 131
132 @misc{opencl,
133 title = {OpenCL | NVIDIA Developer},
134 howpublished = {\url{https://developer.nvidia.com/opencl}},
135 note = {Accessed: 2016/02/06(Mon)}
136 }
137
138 @misc{cuda,
139 title = {CUDA Zone | NVIDIA Developer},
140 howpublished = {\url{https://developer.nvidia.com/cuda-zone}},
141 note = {Accessed: 2016/02/06(Mon)}
142 }
143
132 144
133 145
134 @techreport{weko_142109_1, 146 @techreport{weko_142109_1,
135 author = "小久保,翔平 and 伊波,立樹 and 河野,真治", 147 author = "小久保,翔平 and 伊波,立樹 and 河野,真治",
136 title = "Monadに基づくメタ計算を基本とするGears OSの設計", 148 title = "Monadに基づくメタ計算を基本とするGears OSの設計",
162 isbn={9784274069116}, 174 isbn={9784274069116},
163 url={https://books.google.co.jp/books?id=Sx8UmwEACAAJ}, 175 url={https://books.google.co.jp/books?id=Sx8UmwEACAAJ},
164 year={2013}, 176 year={2013},
165 publisher={オーム社} 177 publisher={オーム社}
166 } 178 }
179
180 @inproceedings{Norell:2009:DTP:1481861.1481862,
181 author = {Norell, Ulf},
182 title = {Dependently Typed Programming in Agda},
183 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
184 series = {TLDI '09},
185 year = {2009},
186 isbn = {978-1-60558-420-1},
187 location = {Savannah, GA, USA},
188 pages = {1--2},
189 numpages = {2},
190 url = {http://doi.acm.org/10.1145/1481861.1481862},
191 doi = {10.1145/1481861.1481862},
192 acmid = {1481862},
193 publisher = {ACM},
194 address = {New York, NY, USA},
195 keywords = {dependent types, programming},
196 }
197
198 @article{Backus:1978:HFI:960118.808380,
199 author = {Backus, John},
200 title = {The History of FORTRAN I, II, and III},
201 journal = {SIGPLAN Not.},
202 issue_date = {August 1978},
203 volume = {13},
204 number = {8},
205 month = aug,
206 year = {1978},
207 issn = {0362-1340},
208 pages = {165--180},
209 numpages = {16},
210 url = {http://doi.acm.org/10.1145/960118.808380},
211 doi = {10.1145/960118.808380},
212 acmid = {808380},
213 publisher = {ACM},
214 address = {New York, NY, USA},
215 }
216
217 @ARTICLE{Landin64,
218 AUTHOR = {Peter J. Landin},
219 TITLE = {The Mechanical Evaluation of Expressions},
220 JOURNAL = {Computer Journal},
221 VOLUME = 6,
222 NUMBER = 4,
223 MONTH = JAN,
224 YEAR = 1964,
225 PAGES = {308--320},
226 CHECKED = {5 June 1992, by JCR}
227 }
228 @book{GlossarWiki:Church:1941,
229 author = {Church, Alonzo},
230 title = {The Calculi of Lambda-Conversion},
231 publisher = {Princeton University Press},
232 year = {1941},
233 address = {Princeton, New Jork},
234 url = {http://books.google.de/books/about/The_Calculi_of_Lambda_conversion.html?id=KCOuGztKVgcC},
235 quality = {5},
236 note = {}
237 }
238
239 @article{haskell-sigplan
240 ,author="Hudak, P. and Peyton Jones, S. and Wadler (editors), P."
241 ,title="Report on the {P}rogramming {L}anguage {H}askell,
242 {A} {N}on-strict {P}urely {F}unctional {L}anguage ({V}ersion 1.2)"
243 ,journal="ACM SIGPLAN Notices"
244 ,volume=27
245 ,number=5
246 ,month=May
247 ,year=1992
248 }
249
250 @article{DEBRUIJN1972381,
251 title = "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem",
252 journal = "Indagationes Mathematicae (Proceedings)",
253 volume = "75",
254 number = "5",
255 pages = "381 - 392",
256 year = "1972",
257 note = "",
258 issn = "1385-7258",
259 doi = "http://dx.doi.org/10.1016/1385-7258(72)90034-0",
260 url = "http://www.sciencedirect.com/science/article/pii/1385725872900340",
261 author = "N.G de Bruijn",
262
263 }