![Keisuke Nakano](https://icfp16.sigplan.org/getProfileImage/keisukenakano/298c7a7e-c06b-489e-9715-cb0a8bba9501/small.jpg?1711769041000)
Registered user since Wed 2 Sep 2015
Name:Keisuke Nakano
Country:Japan
Affiliation:The University of Electro-Communications
Personal website: http://millsmess.cs.uec.ac.jp/~ksk/en/
Research interests:Formal language, Programming language, Program transformation, Certified programming
Contributions
ICFP 2016-profile
View general profile
View general profile