Satoshi Egi

According to our database, Satoshi Egi authored at least 10 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

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

2020

Functional Programming in Pattern-Match-Oriented Programming Style.

Satoshi Egi, Yuichi Nishiwaki

Art Sci. Eng. Program., 2020

Pattern-match-oriented proof writing language.

Satoshi Egi

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2019

Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types.

Satoshi Egi

CoRR, 2019

2018

Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures.

Satoshi Egi

CoRR, 2018

Scalar and Tensor Parameters for Importing the Notation in Differential Geometry into Programming.

Satoshi Egi

CoRR, 2018

Non-linear Pattern Matching with Backtracking for Non-free Data Types.

Satoshi Egi, Yuichi Nishiwaki

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Scalar Functions and Tensor Functions: A Method to Import Tensor Index Notation Including Einstein Summation Notation.

Satoshi Egi

CoRR, 2017

2015

Egison: Non-Linear Pattern-Matching against Non-Free Data Types.

Satoshi Egi

CoRR, 2015

2014

Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping.

Satoshi Egi

CoRR, 2014