PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)
Category 1: Original Paper
At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.
Category 2: Paper Presentation
The following paper was also presented.
- [journal/conference-accepted-paper] A Functional Programming Language with Versions (Tanabe, lubis, Aotani, Masuhara) (published at <Programming>’22)
Category 3: Posters & Demos
The following posters and demos were also presented.
- [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)
- Type-Safe Programming with Versions (Project Page)
- official PPL website