@article{CTT100835132, author = {Tsukino Furukawa and Youyou Cong and Kenichi Asai}, title = {Stepping OCaml}, journal = {Post-proceedings of the 7th Workshop on Trends in Functional Programming in Education (TFPIE 2018)}, year = 2019, } @article{CTT100879054, author = {叢悠悠 and 浅井健一}, title = {限定継続命令をもつ依存型付き言語の設計}, journal = {コンピュータ ソフトウェア}, year = 2019, } @inproceedings{CTT100803802, author = {Youyou Cong and Leo Osvald and Gregory Essertel and Tiark Rompf}, title = {Compiling with Continuations, or without? Whatever.}, booktitle = {Proceedings of the ACM on Programming Languages}, year = 2019, } @inproceedings{CTT100803805, author = {Youyou Cong}, title = {Demo: Counterpoint by Construction}, booktitle = {Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design}, year = 2019, } @inproceedings{CTT100835133, author = {Yusuke Izawa and Hidehiko Masuhara and Tomoyuki Aotani and Youyou Cong}, title = {A Stack Hybridization for Meta-hybrid Just-in-time Compilation}, booktitle = {}, year = 2019, }