2482 search results - page 256 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
212
Voted
POPL
2005
ACM
16 years 2 months 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...
139
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...
75
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
97
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
101
Voted
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...