Archives of the Caml mailing list > Message from Andreas Rossberg

Browse thread

Type abstraction and (polymorphic) equality

Christophe TROESTLER
- Jon Harrop
  - Andreas Rossberg
  - Christophe TROESTLER
    - brogoff
      - Christophe Raffalli
  - Christophe TROESTLER
  - John Skaller
    - Andreas Rossberg
      - brogoff
        
        Andreas Rossberg
      - John Skaller
        
        Andreas Rossberg
- Jean-Christophe Filliatre
- William Lovas
- sejourne_kevin
  - Andreas Rossberg
    - John Skaller
      - Alain Frisch
- Alain Frisch
  - padiolea@i...
    - Alain Frisch

Date:	2005-07-01 (12:49)
From:	Andreas Rossberg <rossberg@p...>
Subject:	Re: [Caml-list] Type abstraction and (polymorphic) equality

John Skaller wrote:
> 
> That is hard to answer without knowing what Haskell's approach is,
> perhaps you can outline it?

Look here:

http://citeseer.ist.psu.edu/wadler88how.html

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB