642 search results - page 12 / 129 » Once Upon a Type |
NAR
2011
14 years 2 months ago
2011
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
IFL
2001
Springer
15 years 4 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...
BTW
2003
Springer
15 years 5 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
133
click to vote
SIGECOM
2011
ACM
14 years 2 months ago
2011
ACM
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
103
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...