1. M. Abadi, L. Cardelli, B. Pierce, D. Rémy. Dynamic typing in polymorphic languages, Journal of Functional Programming 5(1):111–130, Cambridge University Press 1995.
2. Lect Notes Comput Sci;A. Alimarine,2002
3. T. Davie, K. Hammond, J. Quintela, Efficient Persistent Haskell, In: Draft proceedings of the 10th workshop on the implementation of Functional Languages, pp. 183–194, University College London, September 1998.
4. Technical Report;F. Henderson,1996
5. S. P. Jones and J. Hughes (eds.) (1999), Report on the Programming Language Haskell 98, A Non-strict Purely Functional Language.