Unicode shenanigans: Martine écrit en UTF-8

Where does the name "algebraic data type" come from?

From delimited continuations to algebraic effects in Haskell

The Pro-Per Meaning of “Proper”

Defunctionalizing dependent type families in Haskell