PPL2022にてモナディック等式推論に関する論文(といくつかの論文・ポスター・デモ)発表

新規発表論文

以下の論文が第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) に採録、発表されました。

  • Practical Aspects of Monadic Equational Reasoning in Coq (Saito, Affeldt)
PDFDownload

国際既発表論文・ポスター・デモ

また、以下の論文・ポスター・デモが発表されました。

  • [国際既発表論文] A Functional Programming Language with Versions (田辺, lubis, 青谷, 増原) (published at <Programming>’22)
  • [ポスター・デモ] 型を利用した音楽自動生成に向けて (叢)
  • [ポスター] エラー生成クイズの提案と実施様子の観察結果の紹介 (角田)
  • [ポスター・デモ] デザインレシピに基づいた初学者のための学習環境(能勢)
能勢と角田によるポスター発表
デザインレシピに基づいた初学者のための学習環境
エラー生成クイズの提案と実施様子の観察結果の紹介
型を利用した音楽自動生成に向けて

2022-03-06.
→
←