Â

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- STEPHEN U. CHASE
- 2013

BruguiÃ¨res, Lack and Virelizier have recently obtained a vast generalization of Sweedlerâ€™s Fundamental Theorem of Hopf modulesâ€¦Â (More)

Is this relevant?

2013

2013

- Michael B. Gale
- 2013

Monads have evolved into a powerful and versatile tool for functional programming, but remain a challenging concept for thoseâ€¦Â (More)

Is this relevant?

2013

2013

- Taesoo Kim, David Spivak
- 2013

For programmers, Monads are a well-known way to represent an abstract data structure, but without knowing its true natureâ€¦Â (More)

Is this relevant?

2010

2010

Limitations of monad stacks get in the way of developing highly modular programs with effects. This pearl demonstrates thatâ€¦Â (More)

Is this relevant?

2007

2007

- Gavin J. Seal
- 2007

By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain aâ€¦Â (More)

Is this relevant?

2006

2006

- Gordon Plotkin
- 2006

The application of ideas from universal algebra to computer science has long been a major theme of Joseph Goguenâ€™s researchâ€¦Â (More)

Is this relevant?

2006

2006

- Gavin J. Seal
- 2006

By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain aâ€¦Â (More)

Is this relevant?

2004

2004

- Neil Ghani
- 2004

We test LÃ¼th and Ghaniâ€™s proposal [11, 12, 13] to use coproducts of monads as a basis for modularity by applying their ideas toâ€¦Â (More)

Is this relevant?

2003

2003

- Torsten. Grust
- 2003

This chapter is an exploration of the possibilities that open up if we consistently adopt a style of database query andâ€¦Â (More)

Is this relevant?