Mercurial > hg > Papers > 2018 > ryokka-thesis
view final_pre/reference.bib @ 7:28f900230c26
add final_pre
author | ryokka |
---|---|
date | Mon, 19 Feb 2018 23:32:24 +0900 |
parents | |
children | 9af6c3636ea0 |
line wrap: on
line source
@Misc{Yasutaka:2016, author = "{比嘉 健太, 河野 真治}", title = "{メタ計算を用いた Continuation based C の検証手法}", journal = "琉球大学工学部情報工学科平成 28 年度学位論文", year = 2016 } @Misc{Tatsuki:2016, author = "{伊波 立樹, 東恩納 琢偉, 河野 真治}", title = "{Code Gear 、Data Gear に基づく OS のプロトタイプ}", journal = "{情報処理学会システムソフトウェアとオペレーティングシステム研究会}", year = 2016 } @Misc{kaito:2015, author = "{徳森 海斗, 河野 真治}", title = "{LLVM Clang 上の Continuation based C コンパイラ の改良}", journal = "{琉球大学工学部情報工学科平成 27 年度学位論文}", year = 2015 } @misc{agda, title = {The Agda wiki}, howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}}, note = {Accessed: 2017/10/24(Tue)} } @misc{agda-documentation, title = {Welcome to Agda’s documentation! — Agda 2.6.0 documentation}, howpublished = {\url{http://agda.readthedocs.io/en/latest/index.html}}, note = {Accessed: 2017/10/24(Tue)} }