5863 search results - page 39 / 1173 » Calculating Functional Programs |
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
TOOLS
2010
IEEE
14 years 1 months ago
2010
IEEE
MPC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...