no code implementations • 20 Jul 2017 • Ohad Kammar, Dylan McDermott
Models based on type-and-effect systems, in which there is a monad for every set of operations in the language, are.
Programming Languages