1 citations · 1 across the 1 of their papers we have counts for
1 paper
Satoshi Egi
This paper proposes a pattern-matching system that enables non-linear pattern-matching against unfree data types. The system allows multiple occurrences of the same variables in a…