@article{CTT100815338,
  author = {松村有倫 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態依存動作のための抽象化機構},
  journal = {情報処理学会論文誌（プログラミング）},
  year = 2020,
}

@inproceedings{CTT100836142,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Bounded-Construction-Types for Functional Reactive Programming},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100804210,
  author = {Takuo Watanabe},
  title = {A Reflective Extension of an FRP Language and its Applications},
  booktitle = {Theory and Practice of Computation, Proceedings of the Workshop on Computation: Theory and Practice (WCTP2019)},
  year = 2020,
}

@inproceedings{CTT100836143,
  author = {Takuo Watanabe},
  title = {Developing Coordinating Distributed Applications in a Pure FRP Language},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100853678,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {日本ソフトウェア科学会第37回大会講演論文集},
  year = 2020,
}

@inproceedings{CTT100827063,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装},
  booktitle = {情報処理学会研究報告},
  year = 2020,
}

@inproceedings{CTT100820155,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820156,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820154,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {内部DSLとしての関数リアクティブプログラミング言語の実装手法},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820150,
  author = {松村有倫 and 渡部卓雄},
  title = {状態遷移を表現する組込みシステム向けFRP言語の設計},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100815513,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820152,
  author = {櫻井義孝 and 森口草介 and 渡部卓雄},
  title = {FRPによるGPU上の計算の実現},
  booktitle = {},
  year = 2020,
}