949 search results - page 61 / 190 » Programmed Mutagenesis Is Universal |
138
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
139
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
132
click to vote
CTCS
1997
Springer
15 years 8 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
145
click to vote
FPL
1994
Springer
15 years 8 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
132
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...