3713 search results - page 510 / 743 » Constructing a Calculus of Programs |
175
Voted
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
138
Voted
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
192
Voted
DISCO
1993
15 years 8 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
204
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
156
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...