Definitions for "Monads"
A powerful technique to represent state in functional programming, which by definition has no intrinsic state. Originates in category theory. The word has ancient philosophical roots and was tied to this general notion by Leibnitz and later Whitehead. Championed in functional programming by Wadler. http://cm.bell-labs.com/cm/cs/ who/wadler/ A facility of ALF attempts to employ situation theoretic notions of implicit fact sets as monads.