Focusing on Pattern Matching
2009
https://dl.acm.org/doi/abs/10.1145/1480881.1480927
linear logic
focusing
Curry-Howard
pattern match
証明論において，MLのpattrern matchingにあたる概念はfocusingだよ，という話．