PPL2020でのポスターとデモ発表

以下のメンバーがPPL2020でポスター・デモ発表をします．

Agda による対位法の定式化 (Youyou Cong)
Making Different JIT Compilations Dancing to the Same Tune, Acting in the Meta-level (Yusuke Izawa)
コエフェクト多相性に基づいた版多相性の実現 (Yudai Tanabe)
ACKN: A context-aware keyword programming system (poster) (Aochi Shu)
Object-oriented Programming with Versions (Luthfan Lubis)
Sanajeh: a DSL for GPGPU programming with Python objects (Jizhe Chenxin)
Lift中間言語における動的長配列の追加 (Kazuki Niimi)
デザインレシピに沿ったプログラミング環境の実装 (Junya Nose)