Browse thread
Type abstraction and (polymorphic) equality
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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