Mercurial > hg > Papers > 2018 > nozomi-master

annotate paper/reference.bib @ 141:70218d90011c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag poster for changeset 7917654da828
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 21 Feb 2017 18:06:54 +0900
parents 18f872806bc0
children e20f743b5418
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @book{Girard:1989:PT:64805,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 title = {Proofs and Types},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 year = {1989},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 isbn = {0-521-37181-3},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 publisher = {Cambridge University Press},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 address = {New York, NY, USA},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 @book{opac-b1092711,
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
11 title = "Introduction to higher order categorical logic",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
12 author = "Lambek, Joachim (mathématicien) and Scott, P. J.",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
13 series = "Cambridge studies in advanced mathematics",
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 publisher = "Cambridge University Press",
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
15 address = "Cambridge, New York (N. Y.), Melbourne",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
16 url = "http://opac.inria.fr/record=b1092711",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
17 isbn = "0-521-24665-2",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
18 year = 1986
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 @book{BarrM:cattcs,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 author = {Barr, Michael and Wells, Charles},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 title = {Category Theory for Computing Science},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 publisher = {Prentice-Hall},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 series = {International Series in Computer Science},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 year = 1990,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 note = {Second edition, 1995},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 isbn = {0-13-120486-6},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 lccn = {QA76.9.M35B37 1990}
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 @article{Moggi:1991:NCM:116981.116984,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 author = {Moggi, Eugenio},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 title = {Notions of Computation and Monads},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 journal = {Inf. Comput.},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 issue_date = {July 1991},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 volume = {93},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 number = {1},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 month = jul,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 year = {1991},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 issn = {0890-5401},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 pages = {55--92},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 numpages = {38},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 doi = {10.1016/0890-5401(91)90052-4},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 acmid = {116984},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 publisher = {Academic Press, Inc.},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 address = {Duluth, MN, USA},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 @techreport{JonesDuponcheel93,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 author = {M. P. Jones and L. Duponcheel},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 title = {Composing monads},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 institution = {Yale University},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 year = {1993},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 month = {December},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 number = {YALEU/DCS/RR-1004},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 type = {Research Report},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 ftp = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61
12
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
62 @article{110009766999,
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
63 author="Kaito, Tokumori and Shinji, Kono",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
64 title="The implementation of Continuation based C Compiler on LLVM/clang 3.5",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
65 journal="IPSJ SIG Notes",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
66 ISSN="",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
67 publisher="Information Processing Society of Japan (IPSJ)",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
68 year="2014",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
69 month="may",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
70 volume="2014",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
71 number="10",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
72 pages="1-11",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
73 URL="http://ci.nii.ac.jp/naid/110009766999/en/",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
74 DOI="",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
75 }
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
76
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
77 @inproceedings{weko_82695_1,
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
78 author = "大城,信康 and 河野,真治",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
79 title = "Continuation based C の GCC4.6 上の実装について",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
80 booktitle = "第53回プログラミング・シンポジウム予稿集",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
81 year = "2012",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
82 volume = "2012",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
83 number = "",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
84 pages = "69--78",
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
85 month = "jan"
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
86 }
1c9fc852e4ce Add cbc description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 6
diff changeset
87
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 @misc{agda,
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 title = {The Agda wiki},
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
91 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
92 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
93
52
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
94 @misc{agda-documentation,
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
95 title = {Welcome to Agda’s documentation! — Agda 2.6.0 documentation},
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
96 howpublished = {\url{http://agda.readthedocs.io/en/latest/index.html}},
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
97 note = {Accessed: 2016/01/31(Tue)}
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
98 }
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
99
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
100
fb42478e4c96 Writing agda description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
101
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
102 @misc{coq,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
103 title = {Welcome! | The Coq Proof Assistant},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
104 howpublished = {\url{https://coq.inria.fr/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
105 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
106 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
107
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
108 @misc{ats2,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
109 title = {ATS-PL-SYS},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
110 howpublished = {\url{http://www.ats-lang.org/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
111 note = {Accessed: 2016/01/20(Fri)}
6
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 }
5c0e43b1b559 Import reference from atton-thesis
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
114 @misc{spin,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
115 title = {Spin - Formal Verification},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
116 howpublished = {\url{http://spinroot.com/spin/whatispin.html}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
117 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
118 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
119
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
120 @misc{nusmv,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
121 title = {NuSMV home page},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
122 howpublished = {\url{http://nusmv.fbk.eu/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
123 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
124 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
125
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
126 @misc{cbmc,
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
127 title = {The CBMC Homepage},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
128 howpublished = {\url{http://www.cprover.org/cbmc/}},
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
129 note = {Accessed: 2016/01/20(Fri)}
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
130 }
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
131
74
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
132 @misc{opencl,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
133 title = {OpenCL | NVIDIA Developer},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
134 howpublished = {\url{https://developer.nvidia.com/opencl}},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
135 note = {Accessed: 2016/02/06(Mon)}
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
136 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
137
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
138 @misc{cuda,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
139 title = {CUDA Zone | NVIDIA Developer},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
140 howpublished = {\url{https://developer.nvidia.com/cuda-zone}},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
141 note = {Accessed: 2016/02/06(Mon)}
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
142 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
143
20
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
144
4307454b56bb Add introduction
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
145
17
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
146 @techreport{weko_142109_1,
18
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
147 author = "小久保,翔平 and 伊波,立樹 and 河野,真治",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
148 title = "Monadに基づくメタ計算を基本とするGears OSの設計",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
149 year = "2015",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
150 institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科, 琉球大学工学部情報工学科",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
151 number = "16",
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 17
diff changeset
152 month = "may"
17
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
153 }
db2909ab202d Add GearsOS
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 13
diff changeset
154
23
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
155 @mastersthesis{utah-master,
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
156 author = "徳森海斗",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
157 title = "LLVM Clang 上の Continuation based C コンパイラ の改良",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
158 school = "琉球大学 大学院理工学研究科 情報工学専攻",
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
159 year = "2016"
925d7e02b712 Add bibliography
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
160 }
93
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
161
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
162 @mastersthesis{kkb-master,
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
163 author = "小久保 翔平",
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
164 title = "Code Segment と Data Segment を持つ Gears OS の 設計",
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
165 school = "琉球大学 大学院理工学研究科 情報工学専攻",
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
166 year = "2016"
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
167 }
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 74
diff changeset
168
126
18f872806bc0 Update reference
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
169 @misc{atton-ipsjpro,
18f872806bc0 Update reference
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
170 author = "比嘉 健太, 河野 真治",
18f872806bc0 Update reference
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
171 title = "Continuation based C を用いたプログラムの検証手法",
18f872806bc0 Update reference
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
172 }
18f872806bc0 Update reference
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 93
diff changeset
173
30
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
174 @book{Pierce:2002:TPL:509043,
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
175 author = {Pierce, Benjamin C.},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
176 title = {Types and Programming Languages},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
177 year = {2002},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
178 isbn = {0262162091, 9780262162098},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
179 edition = {1st},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
180 publisher = {The MIT Press},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
181 }
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
182
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
183 @book{pierce2013型システム入門プログラミング言語と型の理論,
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
184 title={型システム入門プログラミング言語と型の理論: },
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
185 author={Pierce, B.C.},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
186 isbn={9784274069116},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
187 url={https://books.google.co.jp/books?id=Sx8UmwEACAAJ},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
188 year={2013},
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
189 publisher={オーム社}
55f67e448dcc Add type system description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
190 }
74
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
191
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
192 @inproceedings{Norell:2009:DTP:1481861.1481862,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
193 author = {Norell, Ulf},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
194 title = {Dependently Typed Programming in Agda},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
195 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
196 series = {TLDI '09},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
197 year = {2009},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
198 isbn = {978-1-60558-420-1},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
199 location = {Savannah, GA, USA},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
200 pages = {1--2},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
201 numpages = {2},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
202 url = {http://doi.acm.org/10.1145/1481861.1481862},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
203 doi = {10.1145/1481861.1481862},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
204 acmid = {1481862},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
205 publisher = {ACM},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
206 address = {New York, NY, USA},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
207 keywords = {dependent types, programming},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
208 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
209
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
210 @article{Backus:1978:HFI:960118.808380,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
211 author = {Backus, John},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
212 title = {The History of FORTRAN I, II, and III},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
213 journal = {SIGPLAN Not.},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
214 issue_date = {August 1978},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
215 volume = {13},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
216 number = {8},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
217 month = aug,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
218 year = {1978},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
219 issn = {0362-1340},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
220 pages = {165--180},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
221 numpages = {16},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
222 url = {http://doi.acm.org/10.1145/960118.808380},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
223 doi = {10.1145/960118.808380},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
224 acmid = {808380},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
225 publisher = {ACM},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
226 address = {New York, NY, USA},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
227 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
228
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
229 @ARTICLE{Landin64,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
230 AUTHOR = {Peter J. Landin},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
231 TITLE = {The Mechanical Evaluation of Expressions},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
232 JOURNAL = {Computer Journal},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
233 VOLUME = 6,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
234 NUMBER = 4,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
235 MONTH = JAN,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
236 YEAR = 1964,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
237 PAGES = {308--320},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
238 CHECKED = {5 June 1992, by JCR}
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
239 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
240 @book{GlossarWiki:Church:1941,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
241 author = {Church, Alonzo},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
242 title = {The Calculi of Lambda-Conversion},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
243 publisher = {Princeton University Press},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
244 year = {1941},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
245 address = {Princeton, New Jork},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
246 url = {http://books.google.de/books/about/The_Calculi_of_Lambda_conversion.html?id=KCOuGztKVgcC},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
247 quality = {5},
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
248 note = {}
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
249 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
250
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
251 @article{haskell-sigplan
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
252 ,author="Hudak, P. and Peyton Jones, S. and Wadler (editors), P."
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
253 ,title="Report on the {P}rogramming {L}anguage {H}askell,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
254 {A} {N}on-strict {P}urely {F}unctional {L}anguage ({V}ersion 1.2)"
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
255 ,journal="ACM SIGPLAN Notices"
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
256 ,volume=27
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
257 ,number=5
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
258 ,month=May
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
259 ,year=1992
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
260 }
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
261
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
262 @article{DEBRUIJN1972381,
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
263 title = "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
264 journal = "Indagationes Mathematicae (Proceedings)",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
265 volume = "75",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
266 number = "5",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
267 pages = "381 - 392",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
268 year = "1972",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
269 note = "",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
270 issn = "1385-7258",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
271 doi = "http://dx.doi.org/10.1016/1385-7258(72)90034-0",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
272 url = "http://www.sciencedirect.com/science/article/pii/1385725872900340",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
273 author = "N.G de Bruijn",
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
274
e9ff08a232f7 Add references
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 52
diff changeset
275 }