@inproceedings{CTT100837131,
  author = {Hidehiko Masuhara and Shusuke Takahashi and Yusuke Izawa and Youyou Cong},
  title = {Toward a Multi-Language and Multi-Environment Framework for Live Programming},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849394,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいたプログラミング環境の実装に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849395,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835131,
  author = {Youyou Cong and Naoya Furudono and Hidehiko Masuhara},
  title = {On Teaching Type Systems as Macros},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835134,
  author = {Chenxin Jizhe and Hidehiko Masuhara and Matthias Springer and Youyou Cong},
  title = {Sanajeh: A DSL for GPGPU programming with Python objects},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100826194,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに沿ったプログラミング環境の実装},
  booktitle = {},
  year = 2020,
}