pith. sign in

Satoshi Egi

Identifiers

  • name variant Satoshi Egi 0.60 · backfill

Papers (6)

  1. The Geometry of Loop Spaces III: Isometry Groups of Contact Manifolds math.DG · 2020 · author #1
  2. Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures cs.PL · 2018 · author #1
  3. Non-linear Pattern Matching with Backtracking for Non-free Data Types cs.PL · 2018 · author #1
  4. Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation cs.PL · 2017 · author #1
  5. Egison: Non-Linear Pattern-Matching against Non-Free Data Types cs.PL · 2015 · author #1
  6. 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