3256 search results - page 378 / 652 » Mixin-Based Programming in C |
185
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
220
Voted
POPL
2002
ACM
16 years 28 days ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
102
Voted
PODS
2008
ACM
16 years 23 days ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
128
click to vote
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
HPDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...