6829 search results - page 410 / 1366 » Quantitative Generalizations of Languages |
195
click to vote
HASKELL
2006
ACM
16 years 25 days ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
177
click to vote
ML
2006
ACM
16 years 24 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
168
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
162
click to vote
SIGADA
2005
Springer
16 years 10 days ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
195
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...