Mercurial > hg > Papers > 2018 > ryokka-thesis

view final_pre/finalPre.bbl @ 7:28f900230c26

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add final_pre
author ryokka
date Mon, 19 Feb 2018 23:32:24 +0900
parents
children c8bfe73b2faf
line wrap: on
line source

\begin{thebibliography}{1}

\bibitem{Yasutaka:2016}
{比嘉 健太, 河野 真治}.
\newblock {メタ計算を用いた Continuation based C の検証手法}, 2016.

\bibitem{Tatsuki:2016}
{伊波 立樹, 東恩納 琢偉, 河野 真治}.
\newblock {Code Gear 、Data Gear に基づく OS のプロトタイプ}, 2016.

\bibitem{kaito:2015}
{徳森 海斗, 河野 真治}.
\newblock {LLVM Clang 上の Continuation based C コンパイラ の改良}, 2015.

\bibitem{agda}
The agda wiki.
\newblock \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}.
\newblock Accessed: 2017/10/24(Tue).

\bibitem{agda-documentation}
Welcome to agda’s documentation! ― agda 2.6.0 documentation.
\newblock \url{http://agda.readthedocs.io/en/latest/index.html}.
\newblock Accessed: 2017/10/24(Tue).

\end{thebibliography}