‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Satoshi Egi

Registered user since Mon 31 Jul 2017

Name:Satoshi Egi
Affiliation:Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo
Research interests:Programming Languages


‹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