1847 search results - page 212 / 370 » Hybrid Functional Interpretations |
177
click to vote
VEE
2006
ACM
16 years 12 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
208
click to vote
TLDI
2003
ACM
15 years 11 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...
186
click to vote
FPCA
1989
15 years 10 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...
181
click to vote
CIDR
2009
15 years 7 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
164
click to vote
BMCBI
2007
2007
FUNC: a package for detecting significant associations between gene sets and ontological annotations
15 years 6 months ago
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...