5863 search results - page 446 / 1173 » Calculating Functional Programs |
226
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
221
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
188
click to vote
AFP
2004
Springer
16 years 8 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
187
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
201
click to vote
WEBDB
2010
Springer
15 years 12 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...