‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
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› 2020Author of Functional Programming in Pattern-Match-Oriented Programming Style within the Research Papers-track
Author of Pattern-Match-Oriented Proof Writing Language within the Student Research Competition-track
Show activities from other conferences

‹Programming› 2020-profile
View general profile