4959 search results - page 201 / 992 » Imperative Functional Programming |
119
Voted
SIGPLAN
2002
15 years 2 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
106
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
106
Voted
ENTCS
2007
15 years 2 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
160
Voted
FORTE
2009
15 years 11 days ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
118
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...