| A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL '98), London, England, pages 183--194, 1998. |
....allow abstraction over the types of dynamics beyond the scope of a function, though practice has shown that programmers using dynamics have a strong need for such a powerful tool. The type dependent functions that are described in this paper make such abstraction possible. In Persistent Haskell [4] a similar, but more restricted form of dynamic typing and type dependent functions has been used. Two Haskell operations provide acces to persistent values: get : Persistent a ) PSHandle PSid IO a use : Persistent a ) PSHandle PSid a IO a The class Persistent is comparable with the ....
A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL '98), London, England, pages 183--194, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC