
Registered user since Mon 31 Jul 2017
Name:Satoshi Egi
Country:Japan
Affiliation:Rakuten Institute of Technology
Personal website:https://www.egison.org/~egi/
Research interests:Programming Languages
Contributions
Scheme 2019 | Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile