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