2533 search results - page 65 / 507 » Supporting Generalized Context Interactions |
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
Distributed systems generally require their component parts to interact cooperatively, in order for the system as a whole to function effectively. For any given activity, several ...
CIE
2008
Springer
13 years 10 months ago
2008
Springer
We revisit Girard's reducibility candidates by proposing a general of the notion of neutral terms. They are the terms which do not interact with some contexts called eliminati...
IUI
1993
ACM
14 years 28 days ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
BMCBI
2008
13 years 9 months ago
2008
Background: Availability of information about transcription factors (TFs) is crucial for genome biology, as TFs play a central role in the regulation of gene expression. While man...