$\newcommand{\defeq}{\mathrel{\mathop:}=}$

2008/03/05

Proving Associativity of List Concatenation by Fold Fusion

--
To hcsoso: if you're interested, we can perhaps meet some day and I'll talk about the derivation lectures in FLOLAC '07. I think it would be a faster way to get familiar with functional programming and reasoning. :P

Labels: