3 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
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…