Sciweavers

1835 search results - page 3 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
POPL
2012
ACM
14 years 1 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
PPDP
2009
Springer
16 years 10 days ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
171
Voted
FOAL
2009
ACM
16 years 9 days 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
159
Voted
CEFP
2005
Springer
15 years 11 months ago
Generic Editors for the World Wide Web
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
Rinus Plasmeijer, Peter Achten