Can Programming be Liberated from the von Neumann Style? A Functional ...
John Backus
Transvestia, Vol. 03, No. 13 (February 1962)
Unknown
dune documentation
Jérémie Dimino
The Legend Of Koizumi 09
Categories for the Working Mathematician
Saunders Mac Lane