4716 search results - page 68 / 944 » Tangible functional programming |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
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...
SIAMJO
2010
13 years 4 months ago
2010
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
FM
1994
Springer
14 years 2 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.