5838 search results - page 671 / 1168 » A File System for System Programming in Ubiquitous Computing |
214
click to vote
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
311
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
219
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
201
click to vote
CPHYSICS
2007
15 years 7 months ago
2007
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
219
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...