Changes between Version 3 and Version 4 of ExistentialQuantification


Ignore:
Timestamp:
Nov 29, 2005 8:14:29 PM (8 years ago)
Author:
loeh@…
Comment:

added crossref

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v3 v4  
    1919 * [http://www.cs.luc.edu/users/laufer/papers/toplas94.pdf Polymorphic Type Inference and Abstract Data Types] by K. Läufer and M. Odersky, in TOPLAS, Sep 1994. 
    2020 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#existential-quantification GHC documentation] 
     21 * ExistentialsVsPolymorphicComponents 
    2122 
    2223== Variations ==