2362 search results - page 157 / 473 » Programming in Standard ML |
168
click to vote
ASE
2004
15 years 3 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
157
click to vote
LOPSTR
2005
Springer
15 years 9 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
162
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
153
click to vote
PASTE
1999
ACM
15 years 8 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
115
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...