Out-of-core functional programming with type-based primitives

author: Tyng-Ruey Chuang and Shin-Cheng Mu
publication date: January 2000
cite this with: Tyng-Ruey Chuang and Shin-Cheng Mu. Out-of-core functional programming with type-based primitives. In Enrico Pontelli and Victor Santos Costa, editors, 2nd International Workshop on Practical Aspects of Declarative Languages (PADL), pages 32-46. Boston, Massachusetts, USA. January 2000.
link this with: http://tsm.iis.sinica.edu.tw/papers/padl00/
copyright: all rights reserved
category: Functional Programming
full paper: postscript


We formulate and experiment with type-based primitives (such as fold and unfold operations) for out-of-core processing of functional data structures. We follow the view that recursive data types are fixed points of polynomial type constructors. This view leads to a clear separation of the semantics and the implementations of recursive data types. We provide monadic implementations of the type-based primitives so that the intermediate data structures used for the executions of the…

papers:padl00:home Last modified: 2007/10/23 01:22