3319 search results - page 18 / 664 » Type Theoretical Databases |
NAR
2011
14 years 3 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...
121
Voted
CTCS
1987
Springer
15 years 4 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
76
Voted
SCCC
2002
IEEE
15 years 5 months ago
2002
IEEE
95
Voted
BALT
2006
15 years 4 months ago
2006
82
Voted
ITICSE
2010
ACM
15 years 2 months ago
2010
ACM