
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 | Committee Member in Program Committee within the Research Papers-track Programming Contest Organiser in Organizing Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile