Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Monad protein, human

Known as: LOC116143 protein, human 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
For programmers, Monads are a well-known way to represent an abstract data structure, but without knowing its true nature… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Monad comprehensions are by now a mainstay of functional programming languages. In this paper we develop a theory of semantic… Expand
Is this relevant?
2010
2010
Limitations of monad stacks get in the way of developing highly modular programs with effects. This pearl demonstrates that… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 8
  • figure 7
Is this relevant?
2008
2008
We present an interface from Haskell to quantum programming: the Quantum IO monad, and use it to implement Shor’s factorisation… Expand
  • figure 1.1
Is this relevant?
2006
2006
The application of ideas from universal algebra to computer science has long been a major theme of Joseph Goguen’s research… Expand
Is this relevant?
2004
2004
This chapter is an exploration of the possibilities that open up if we consistently adopt a style of database query and… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.5
Is this relevant?
2004
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… Expand
Is this relevant?