PPL 2021 におけるポスター賞受賞

以下の発表が PPL 2021 においてポスター賞として表彰されました。

  • 叢 悠悠. Agda による対位法の形式化.

ポスターと Agda のコードがここに公開されています。

2021-03-11.
→
←