2020年度のニュース

以下の発表がPPL2021において発表賞（学生の部）として表彰されました。

• OCaml初学者の学習調査 (北川, 浅井)

また、以下の発表がポスター賞（学生の部）として表彰されました。

control/promptのためのCPS変換とその正当性 (本田, 浅井)

以下の論文がカテゴリ1 (国内外未発表枠) で発表されます。

• control/prompt の仮想機械導出 (藤井, 浅井)
• OCaml初学者の学習調査 (北川, 浅井)

以下の論文がカテゴリ2 (国外既発表枠) で発表されます。

• A Functional Abstraction of Typed Trails
  (Kenichi Asai, Youyou Cong, Chiaki Ishio)

以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されます。

• control/promptのためのCPS変換とその正当性 (本田, 浅井)
• OCamlステッパの改良 (秋山, 浅井)

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

• Kenichi Asai, Youyou Cong, and Chiaki Ishio
  A Functional Abstraction of Typed Trails