3713 search results - page 415 / 743 » Constructing a Calculus of Programs |
123
click to vote
ENTCS
2006
15 years 4 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...
132
click to vote
IPL
2006
15 years 4 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...
140
Voted
JCM
2007
15 years 4 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...
139
click to vote
BIB
2002
15 years 4 months ago
2002
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
118
click to vote
DIDACTICA
2000
15 years 4 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...