Registered user since Mon 4 Sep 2017
Name:Makoto Hamana
Country:Japan
Affiliation:Gunma University, Japan
Personal website:https://www.cs.gunma-u.ac.jp/~hamana/
Research interests:mathematical foundations of programming languages, Theory and practice of functional programming, Higher-order rewriting systems
Contributions
| ICFP 2017 | How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2017-profile
View general profile
View general profile