Satoshi Egi

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 11

Top Topics

Differential Geometry

Oriented Programming

Pattern Matching

Top Venues

Art Sci. Eng. Program.

New Gener. Comput.

Publications

Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. New Gener. Comput. 40 (2) (2022)
Satoshi Egi
Pattern-match-oriented proof writing language. Programming (2020)
Satoshi Egi, Yuichi Nishiwaki
Functional Programming in Pattern-Match-Oriented Programming Style. Art Sci. Eng. Program. 4 (3) (2020)
Satoshi Egi, Yuichi Nishiwaki
Functional Programming in Pattern-Match-Oriented Programming Style. CoRR (2020)
Satoshi Egi
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types. CoRR (2019)
Satoshi Egi, Yuichi Nishiwaki
Non-linear Pattern Matching with Backtracking for Non-free Data Types. APLAS (2018)
Satoshi Egi
Scalar and Tensor Parameters for Importing the Notation in Differential Geometry into Programming. CoRR (2018)
Satoshi Egi, Yuichi Nishiwaki
Non-linear Pattern Matching with Backtracking for Non-free Data Types. CoRR (2018)
Satoshi Egi
Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures. CoRR (2018)
Satoshi Egi
Scalar Functions and Tensor Functions: A Method to Import Tensor Index Notation Including Einstein Summation Notation. CoRR (2017)
Satoshi Egi
Egison: Non-Linear Pattern-Matching against Non-Free Data Types. CoRR (2015)
Satoshi Egi
Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping. CoRR (2014)