Re: more detailed explanation about forall in Haskell

[Frank Atanassow]

There is a good introduction by Cardelli and Wegner:

  Luca Cardelli and Peter Wegner. On understanding types, data abstraction,
  and polymorphism. Computing Surveys, 17(4):471-522, 1985.

available from Cardelli's page at

  http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.ps
  http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.{US,A4}.{ps.pdf}

-- 
Frank Atanassow, Dept. of Computer Science, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
Tel +31 (030) 253-1012, Fax +31 (030) 251-3791