カテゴリー: effects


小串、新美、陳忻、Luthfanが修士論文を発表しました

研究室メンバーが修士論文を発表しました。

  • 小串智希, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
  • 新美和生, Extending Effekt with Bidirectional Effects (PDF)
  • Jizhe Chenxin, Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (PDF)
  • Lubis Luthfan Anshar, BatakJava: an Object-Oriented Programming Language with Versions (PDF)

(公式ページ)

2021-02-04.

限定継続命令に関する PEPM ’21 論文

以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。

  • Kenichi Asai, Youyou Cong, and Chiaki Ishio
    A Functional Abstraction of Typed Trails
2021-01-18.
← Previous page