@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{CTT100849395,
  author = {Kaduki Ikemori and Youyou Cong and Hidehiko Masuhara},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849393,
  author = {Youyou Cong and Leo Osvald and Gregory Essertel and Tiark Rompf},
  title = {Compiling with Continuations, or without? Whatever. (Top Conference Invited Talk)},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849394,
  author = {能勢純哉 and Youyou Cong and Hidehiko Masuhara},
  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 Youyou Cong and Hidehiko Masuhara},
  title = {デザインレシピに沿ったプログラミング環境の実装},
  booktitle = {},
  year = 2020,
}

@misc{CTT100823881,
  author = {Youyou Cong and Akiko Mito},
  title = {Improving Students' Understanding of Mathematical Induction via Programming},
  year = 2020,
}