5863 search results - page 132 / 1173 » Calculating Functional Programs |
123
click to vote
IFL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
130
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
119
Voted
PVM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
128
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
110
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Identification of RNA homologs within genomic stretches is difficult when pairwise sequence identity is low or unalignable flanking residues are present. In both cases...