Ryo Okugawa
Ryo Okugawa is in department of Mathematical and Computing Science, Tokyo Institute of Technology.
He received his BA from Department of Information Science, Tokyo Institute of technology in 2016.
Research
- Meta-Theory a la Carte for object oriented programming language.
Publications, presentations
- Ryo Okugawa, Hidehiko Masuhara, Tomoyuki Aotani
Formalization Framework with Meta-Theory a la Carte for Featherweight Java
Programming and Programming Language Workshop 2016, 2016.