Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping. - Satoshi Egi (CoRR, 2014)

Egison: Non-Linear Pattern-Matching against Non-Free Data Types. - Satoshi Egi (CoRR, 2015)

Scalar Functions and Tensor Functions: A Method to Import Tensor Index Notation Including Einstein Summation Notation. - Satoshi Egi (CoRR, 2017)

Non-linear Pattern Matching with Backtracking for Non-free Data Types. - Satoshi Egi; Yuichi Nishiwaki (APLAS, 2018)

Scalar and Tensor Parameters for Importing the Notation in Differential Geometry into Programming. - Satoshi Egi (CoRR, 2018)

Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures. - Satoshi Egi (CoRR, 2018)

Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types. - Satoshi Egi (CoRR, 2019)

Pattern-match-oriented proof writing language. - Satoshi Egi (Programming, 2020)

Functional Programming in Pattern-Match-Oriented Programming Style. - Satoshi Egi; Yuichi Nishiwaki (Art Sci. Eng. Program., 2020)

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. - Satoshi Egi; Akira Kawata; Mayuko Kori; Hiromi Ogawa (New Gener. Comput., 2022)