@article{
    segment,
    author = "河野 真治 and 杉本 優",
    title = "Code Segment と Data Segment によるプログラミング手法",
    journal = "第54回プログラミング・シンポジウム",
    month = "Jan",
    year = 2013
}

@article{
    gears,
    author = "小久保 翔平 and 伊波 立樹 and 河野 真治",
    title = "Monad に基づくメタ計算を基本とする Gears OS の設計",
    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
    month = "May",
    year = 2015
}

@article{
    cbc-lola,
    author = "Kaito TOKKMORI and Shinji KONO",
    title = "Implementing Continuation based language in LLVM and Clang",
    journal = "LOLA 2015",
    month = "July",
    year = 2015
}