Three Poster Presentations at the PPL 2018 Workshop
Izawa, Okugawa and Tanabe did the poster presentation at the PPL workshop.
- “Introducing versions into a programming language (プログラミング言語へのバージョンの導入の研究)” by Tanabe, Aotani and Masuhara
- “Extensible formalization of type-safety based on an operational semantics (証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究)” by Okugawa, Aotani and Masuhara