Search Results - "Monad"

Towards modular compilers for effects by Day, Laurence, Hutton, Graham

Subjects: Get full text

Lifting of operations in modular monadic semantics by Jaskelioff, Mauro Javier

Subjects: Get full text

Polymonad programming in Haskell by Bracker, Jan, Nilsson, Henrik

Subjects: “…Glasgow Haskell Compiler; Haskell; Monad; Polymonad; Syntactic support; Type checker plugin…”
Get full text

Towards a formally verified functional quantum programming language by Green, Alexander S.

Subjects: Get full text

The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

Subjects: Get full text

The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

Subjects: Get full text

Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

Subjects: “…monads…”
Get full text

Functional reactive programming, refactored by Perez, Ivan, Bärenz, Manuel, Nilsson, Henrik

Subjects: Get full text

The modular compilation of effects by Day, Laurence E.

Subjects: Get full text

Supermonads: one notion to bind them all by Bracker, Jan, Nilsson, Henrik

Subjects: Get full text

UNDERSTANDING SELF-GIFT CONSUMER BEHAVIOUR IN INDIA by Arora, Gautam

Subjects: Get full text