399 search results - page 1 / 80 » Iterator Types |
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
TYPES
1998
Springer
13 years 9 months ago
1998
Springer
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
MOC
2002
13 years 4 months ago
2002
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...