5090 search results - page 452 / 1018 » Constructing Strategies for Programming |
163
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
169
click to vote
CPHYSICS
2006
15 years 7 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monads are by now well-established as programming construct in functional languages. Recently, the notion of "Arrow" was introduced by Hughes as an extension, not with o...
171
click to vote
IPL
2006
15 years 6 months ago
2006
A language is defined by closure under safe iteration and under a new form of safe diagonalization that, unlike other forms of diagonalization used in literature to define sub-recu...
192
click to vote
JCM
2007
15 years 6 months ago
2007
— In this paper we introduce two operations of access structure to build large monotone span programs MSPs from small MSPs. Furthermore, we point out a new method of constructing...