home *** CD-ROM | disk | FTP | other *** search
/ back2roots/padua / padua.7z / padua / lang / gofer223.lha / doc / appx_g < prev    next >
Encoding:
Text File  |  1992-11-10  |  2.2 KB  |  67 lines
  1.  
  2.  
  3. Introduction to Gofer         APPENDIX G: BIBLIOGRAPHY                          
  4.  
  5.  
  6. APPENDIX G: BIBLIOGRAPHY
  7.  
  8. [1]  Introduction to functional programming, Richard  Bird  and  Philip
  9.      Wadler, Prentice Hall International, 1989.
  10.  
  11. [2]  The Implementation of functional programming languages,  Simon  L.
  12.      Peyton Jones, Prentice Hall International, 1987.
  13.  
  14. [3]  Lambda Lifting:  Transforming  Programs  to  Recursive  Equations,
  15.      Thomas  Johnsson,  in  Lecture  Notes  in  Computer  Science  201,
  16.      Springer Verlag, 1985.  [but try to get a copy of the  version  of
  17.      this paper included in Johnsson's thesis which  benefits  from  an
  18.      extended typeface and is a little easier to read!]
  19.  
  20. [4]  How to make ad-hoc polymorphism less  ad-hoc,  Philip  Wadler  and
  21.      Stephen Blott, University of Glasgow, in the  proceedings  of  the
  22.      16th ACM annual symposium on Principles of Programming  Languages,
  23.      Austin, Texas, January 1989.
  24.  
  25. [5]  Report on the programming language Haskell,  a  non-strict  purely
  26.      functional language (Version 1.1), Paul Hudak,  Philip  Wadler  et
  27.      al.  Technical report Yale University/Glasgow University.  August,
  28.      1991.
  29.  
  30. [6]  Introduction to Orwell 6.00, Philip  Wadler  and  Quentin  Miller,
  31.      University of Oxford, 1990.
  32.  
  33. [7]  Lazy ML user's manual, Lennart  Augustsson  and  Thomas  Johnsson,
  34.      1990.
  35.  
  36. [8]  Computing with lattices: An application of type classes,  Mark  P.
  37.      Jones, Technical report PRG-TR-11-90, Programming Research  Group,
  38.      Oxford University Computing Laboratory, June 1990.
  39.  
  40. [9]  Towards a theory of qualified  types,  Mark  P.  Jones,  Technical
  41.      report PRG-TR-6-91, Programming Research Group, Oxford  University
  42.      Computing Laboratory, April 1991.
  43.  
  44. [10] Type inference for  qualified  types,  Mark  P.  Jones,  Technical
  45.      report PRG-TR-10-91, Programming Research Group, Oxford University
  46.      Computing Laboratory, June 1991.
  47.  
  48. [11] A new approach to type classes,  Mark  P.  Jones,  distributed  to
  49.      Haskell mailing list 1991.
  50.  
  51. [12] Practical issues in the implementation of qualified types, Mark P.
  52.      Jones, Forthcoming 1991.
  53.  
  54.  
  55.  
  56.  
  57.  
  58.  
  59.  
  60.  
  61.  
  62.  
  63.  
  64.                                       121
  65.  
  66.  
  67.