All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 10 of 10

Showing per page

Semantics of value recursion for monadic input/output

Levent Erkök, John Launchbury, Andrew Moran (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell’s IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper, we...

Semantics of value recursion for Monadic Input/Output

Levent Erkök, John Launchbury, Andrew Moran (2010)

RAIRO - Theoretical Informatics and Applications

Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper,...

Separable and Frobenius monoidal Hom-algebras

Yuanyuan Chen, Xiaoyan Zhou (2014)

Colloquium Mathematicae

As generalizations of separable and Frobenius algebras, separable and Frobenius monoidal Hom-algebras are introduced. They are all related to the Hom-Frobenius-separability equation (HFS-equation). We characterize these two Hom-algebraic structures by the same central element and different normalizing conditions, and the structure of these two types of monoidal Hom-algebras is studied. The Nakayama automorphisms of Frobenius monoidal Hom-algebras are considered.

Split structures.

Rosebrugh, Robert, Wood, R.J. (2004)

Theory and Applications of Categories [electronic only]

Currently displaying 1 – 10 of 10

Page 1