3 citations · 6 across the 3 of their papers we have counts for
5 papers · 1 filter
Functional Programming in Pattern-Match-Oriented Programming Style
Satoshi Egi, Yuichi Nishiwaki
Throughout the history of functional programming, recursion has emerged as a natural method for describing loops in programs. However, there does often exist a substantial cognitiv…
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Satoshi Egi
Pattern matching is an important feature of programming languages for data abstraction. Many pattern-matching extensions have been proposed and implemented for extending the range…
Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures
Satoshi Egi
The Kleene star operator is an important pattern construct for representing a pattern that repeats multiple times. Due to its simplicity and usefulness, it is imported into various…
Symbolical Index Reduction and Completion Rules for Importing Tensor Index Notation into Programming Languages
Satoshi Egi
In mathematics, many notations have been invented for the concise representation of mathematical formulae. Tensor index notation is one of such notations and has been playing a cru…
Egison: Non-Linear Pattern-Matching against Non-Free Data Types
Satoshi Egi
This paper introduces the Egison programming language whose feature is strong pattern-matching facility against not only algebraic data types but also non-free data types whose dat…