1932 search results - page 157 / 387 » A Functional Quantum Programming Language |
162
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
175
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
168
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
179
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
166
click to vote
IEEEARES
2007
IEEE
16 years 23 days ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...