- P. Wadler "How to Replace Failure by a List of Successes" (1985)
- E. Moggi "Computational Lambda-Calculus and Monads" (1988)
- M. Spivey "A Functional Theory of Exceptions" (1990)
- E. Moggi "Notions of Computation and Monads" (1991)
- P. Wadler "The Essence of Functional Programming" (1992)
- S. Peyton Jones、P. Wadler "Imperative Functional Programming" (1993)
あたりのこと。
続きを読む