c*******9
发帖数: 9032 | 2 References
[1] Philip Wadler. Monads for functional programming. In Advanced Functional
Pro- gramming, First International Spring School on Advanced Functional
Programming Techniques-Tutorial Text, pages 24–52. Springer-Verlag, London,
UK (1995). http: //homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/
baastad.pdf.
[2] Saunders M. Lane. Categories for the Working Mathematician. Springer-
Verlag, New York (1998).
[3] Michael Barr and Charles Wells. Category theory - lecture notes for
ESSLLI. p... 阅读全帖 |
|
