5415 search results - page 70 / 1083 » The Implementation of Functional Programming Languages |
IFL
2007
Springer
14 years 3 months ago
2007
Springer
POPL
2007
ACM
14 years 9 months ago
2007
ACM
The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors. Sieves provide a s...
GPCE
2008
Springer
13 years 10 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
SFP
2003
13 years 10 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
ML
2006
ACM
14 years 3 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...