2021年度のニュース

以下の論文が 6th International Conference on Formal Structures for Computation and Deduction に採択されました。

• A Functional Abstraction of Typed Invocation Contexts
  (Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai)
• Derivation of a Virtual Machine for Four Variants of Delimited-Control Operators
  (Maika Fujii and Kenichi Asai)

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

• 4種類の限定継続演算子のための型システム (石尾, 浅井)
• 代数的エフェクトとハンドラのための CPS 変換と型システム (藤井, 浅井)
• モジュールをサポートするOCaml ステッパの定式化と実装 (秋山, 浅井)

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

• Mikiβ における相互再帰の実装 (大石, 浅井)
• WebSocket 通信を用いたUniverse フレームワークの拡張 (上田, 浅井)
• 型付きのshift/resetを含む言語におけるReflectionに向けて (山本, 浅井)
• λ計算に対する仕様に基づいたコンパイラの導出 (横関, 浅井)
• OCamlBlocklyのチュートリアル作成 (柴田, 浅井)