‹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