@article{CTT100815338,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {An Abstraction Mechanism for Modeling Stateful Behaviors in an FRP Language for Embedded Systems},
  journal = {IPSJ Transactions on Programming (PRO)},
  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 = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {日本ソフトウェア科学会第37回大会講演論文集},
  year = 2020,
}

@inproceedings{CTT100827063,
  author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装},
  booktitle = {IPSJ SIG Technical Report},
  year = 2020,
}

@inproceedings{CTT100820155,
  author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe},
  title = {出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820156,
  author = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820154,
  author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {内部DSLとしての関数リアクティブプログラミング言語の実装手法},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820150,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {状態遷移を表現する組込みシステム向けFRP言語の設計},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100815513,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820152,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {FRPによるGPU上の計算の実現},
  booktitle = {},
  year = 2020,
}