5415 search results - page 259 / 1083 » The Implementation of Functional Programming Languages |
CROSSROADS
2006
15 years 1 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
116
click to vote
IFL
2007
Springer
15 years 7 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
ENTCS
2002
15 years 1 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
216
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...