Mercurial > hg > Papers > 2017 > atton-master
view paper/reference.bib @ 17:db2909ab202d
Add GearsOS
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 20 Jan 2017 12:40:43 +0900 (2017-01-20) |
parents | 99a9be7e6bc9 |
children | 415fa6d79d00 |
line wrap: on
line source
@book{Girard:1989:PT:64805, author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves}, title = {Proofs and Types}, year = {1989}, isbn = {0-521-37181-3}, publisher = {Cambridge University Press}, address = {New York, NY, USA}, } @book{opac-b1092711, title = "Introduction to higher order categorical logic", author = "Lambek, Joachim (mathématicien) and Scott, P. J.", series = "Cambridge studies in advanced mathematics", publisher = "Cambridge University Press", address = "Cambridge, New York (N. Y.), Melbourne", url = "http://opac.inria.fr/record=b1092711", isbn = "0-521-24665-2", year = 1986 } @book{BarrM:cattcs, author = {Barr, Michael and Wells, Charles}, title = {Category Theory for Computing Science}, publisher = {Prentice-Hall}, series = {International Series in Computer Science}, year = 1990, note = {Second edition, 1995}, isbn = {0-13-120486-6}, lccn = {QA76.9.M35B37 1990} } @article{Moggi:1991:NCM:116981.116984, author = {Moggi, Eugenio}, title = {Notions of Computation and Monads}, journal = {Inf. Comput.}, issue_date = {July 1991}, volume = {93}, number = {1}, month = jul, year = {1991}, issn = {0890-5401}, pages = {55--92}, numpages = {38}, url = {http://dx.doi.org/10.1016/0890-5401(91)90052-4}, doi = {10.1016/0890-5401(91)90052-4}, acmid = {116984}, publisher = {Academic Press, Inc.}, address = {Duluth, MN, USA}, } @techreport{JonesDuponcheel93, author = {M. P. Jones and L. Duponcheel}, title = {Composing monads}, institution = {Yale University}, year = {1993}, month = {December}, number = {YALEU/DCS/RR-1004}, type = {Research Report}, ftp = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps} } @article{110009766999, author="Kaito, Tokumori and Shinji, Kono", title="The implementation of Continuation based C Compiler on LLVM/clang 3.5", journal="IPSJ SIG Notes", ISSN="", publisher="Information Processing Society of Japan (IPSJ)", year="2014", month="may", volume="2014", number="10", pages="1-11", URL="http://ci.nii.ac.jp/naid/110009766999/en/", DOI="", } @inproceedings{weko_82695_1, author = "大城,信康 and 河野,真治", title = "Continuation based C の GCC4.6 上の実装について", booktitle = "第53回プログラミング・シンポジウム予稿集", year = "2012", volume = "2012", number = "", pages = "69--78", month = "jan" } @misc{agda, title = {The Agda wiki}, howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}}, note = {Accessed: 2015/02/17(Tue)} } @techreport{weko_142109_1, author = "小久保,翔平 and 伊波,立樹 and 河野,真治", title = "Monadに基づくメタ計算を基本とするGears OSの設計", year = "2015", institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科, 琉球大学工学部情報工学科", number = "16", month = "may" } % TODO : 会長さんの修論