Sciweavers

502 search results - page 14 / 101
» Declarative Programming with Function Patterns
Sort
View
ICFP
2005
ACM
15 years 9 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
ECOOP
2006
Springer
15 years 1 months ago
Parameterized Modules for Classes and Extensible Functions
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
Keunwoo Lee, Craig Chambers
PADL
2000
Springer
15 years 1 months ago
Parallel Functional Reactive Programming
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
John Peterson, Valery Trifonov, Andrei Serjantov
LISP
2007
124views more  LISP 2007»
14 years 9 months ago
A new generic scheme for functional logic programming with constraints
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
Francisco Javier López-Fraguas, Mario Rodr&...
CORR
2004
Springer
128views Education» more  CORR 2004»
14 years 9 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...