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