Sciweavers

4757 search results - page 43 / 952
» Monads for Functional Programming
Sort
View
104
Voted
PPDP
1999
Springer
15 years 7 months ago
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Puri Arenas-Sánchez, Francisco Javier L&oac...
FOAL
2009
ACM
15 years 9 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
CSL
2004
Springer
15 years 8 months ago
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
Neil Immerman, Alexander Moshe Rabinovich, Thomas ...
116
Voted
ECOOP
2007
Springer
15 years 6 months ago
Refactoring in Erlang, a Dynamic Functional Language
László Lövei, Zoltán Hor...