Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
A shared, segmented memory system for an object-oriented database
ACM Transactions on Information Systems (TOIS)
An overview of the poly programming language
Data types and persistence
Why functional programming matters
The Computer Journal - Special issue on Lazy functional programming
Persistence in the E Language: Issues and implementation
Software—Practice & Experience
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume I: Parallel Architectures
The semantic elegance of applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Orthogonal serialisation for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
| Hi-index | 0.00 |
A new programming system --- STAPLE (Statically Typed Applicative Persistent Language Environment) --- which integrates a lazy functional programming language and a persistent store is described. The motivation for introducing orthogonal persistence into a functional setting is given. Two models for achieving this integration are then described together with a discussion of the way laziness interacts with persistence and the benefits resulting from this interaction. In the first model, a system of persistent modules allows the programmer to create persistent values by naming them in a module. In the second model, a combination of stream I/O and a dynamic type allows functional programs to manipulate values already in the persistent store and to allow dynamically created values to become persistent.