44 search results - page 4 / 9 » A Space Semantics for Core Haskell |
109
click to vote
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
102
click to vote
SIGIR
2006
ACM
15 years 5 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
130
click to vote
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
129
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 23 days ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...