3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.PL2020★ 3 cited
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…
cs.PL2019★ 1 cited
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…
cs.PL2015★ 2 cited
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…