151 search results - page 1 / 31 » Parallel computable higher type functionals (Extended Abstra... |
FOCS
1993
IEEE
13 years 9 months ago
1993
IEEE
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
CIE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
TPHOL
1995
IEEE
13 years 9 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
ICFP
1999
ACM
13 years 10 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...