5415 search results - page 316 / 1083 » The Implementation of Functional Programming Languages |
109
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
131
Voted
APDC
1997
15 years 2 months ago
1997
We introduce a new parallel programming paradigm, namely synchronous parallel critical sections. Such parallel critical sections must be seen in the context of switching between s...
124
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
120
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
114
Voted
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...