奥河 諒
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.