‹Programming› 2020 (series) / Satoshi Egi
Registered user since Mon 31 Jul 2017
Name:Satoshi Egi
Country:Japan
Affiliation:Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo
Personal website:https://www.egison.org/~egi/
Research interests:Programming Languages
Contributions
| ‹Programming› 2020 | Functional Programming in Pattern-Match-Oriented Programming Style Pattern-Match-Oriented Proof Writing Language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2020-profile
View general profile
View general profile