1071 search results - page 108 / 215 » Programming with enumerable sets of structures |
129
click to vote
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
An in-depth investigation of C preprocessor usage for portability and configuration management is presented. Three heavily-ported and widely used C++ libraries are examined. A cor...
134
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
128
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
129
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...