PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)

Original Paper

At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.

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

Paper Presentation, Posters & Demos

The following papers, posters and demos were also presented.

  • [journal/conference-accepted-paper] A Functional Programming Language with Versions (Tanabe, lubis, Aotani, Masuhara) (published at <Programming>’22)
  • [poster & demo] Towards Type-Based Generation of Music (Cong)
  • [poster] Proposal of Enbugging-quiz and observation of student’s reactions (Tsunoda)
  • [poster & demo] Programming Learning Environment based on Design Recipe (Nose)
Poster presentations by Nose and Tsunoda
Programming Learning Environment based on Design Recipe
Proposal of Enbugging-quiz and observation of student’s reactions
Towards Type-Based Generation of Music

2022-03-06.
→
←