1081 search results - page 99 / 217 » Type Inference of SELF |
167
click to vote
BMCBI
2010
15 years 4 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
150
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
144
click to vote
FPCA
1989
15 years 8 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
140
click to vote
DNA
2006
Springer
15 years 8 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
130
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...