Satoshi Egi
Identifiers
- name variant Satoshi Egi 0.60 · backfill
Papers (6)
- The Geometry of Loop Spaces III: Isometry Groups of Contact Manifolds math.DG · 2020 · author #1
- Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures cs.PL · 2018 · author #1
- Non-linear Pattern Matching with Backtracking for Non-free Data Types cs.PL · 2018 · author #1
- Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation cs.PL · 2017 · author #1
- Egison: Non-Linear Pattern-Matching against Non-Free Data Types cs.PL · 2015 · author #1
- Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping cs.PL · 2014 · author #1
Mentions
- 1506.04498 #1 · backfill · confidence 0.70 Satoshi Egi
- 2011.01800 #1 · arxiv_oai · confidence 0.70 Satoshi Egi
- 1407.0729 #1 · backfill · confidence 0.70 Satoshi Egi
Frequent Coauthors
- Steven Rosenberg 1 shared papers
- Yoshiaki Maeda 1 shared papers
- Yuichi Nishiwaki 1 shared papers