Monadic logic

From Wikipedia, the free encyclopedia.

In mathematics, a monadic logic is one that employs only unary relations.

This {} is a stub. If you know or can find out more about its subject, you can help by expanding it (select the [ "Edit this page"] link).

Websites for Monadic
Showing page 1 (1 - 3 of 3 hits)

A Principled Approach to Operating System Construction in Haskell

Research paper on monadic interface to low-level hardware features that are ... I/O. Abstract; PDF, PS. Research paper on monadic interface to low-level hardware features that are ...

More results: http://dir.calsky.com/Computers/Programming/Languages/Haskell/Operating_Systems/

O'Haskell

Object Haskell: Haskell conservatively extended with subtyping, monadic objects. Object Haskell: Haskell conservatively extended with subtyping, monadic objects.

More results: http://dir.calsky.com/Computers/Programming/Languages/Haskell/Implementations/

What the Hell are Monads?

Basic introduction to monads, monadic programming, and I/O. Basic introduction to monads, monadic programming, and I/O.

More results: http://dir.calsky.com/Computers/Programming/Languages/Functional/

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor