655 search results - page 25 / 131 » On Flat Programs with Lists |
FPCA
1995
13 years 11 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
IFITA
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper investigates on nine listed Companies in Shanghai and Shenzhen stock markets that have implemented the Open Market Repurchase (OMR) program. In this research, the event ...
ICINCO
2008
13 years 9 months ago
2008
Despite much research on companion robots and affective virtual characters, a comprehensive discussion on a generic architecture is lacking. We compile a list of possible requireme...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...
JLP
2010
13 years 2 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...