Perhaps the subtyping of O'Haskell is interesting:
http://www.cs.chalmers.se/~nordland/ohaskell/
/Peter Ljunglöf
On Mon, 25 Sep 2000, Jose Romildo Malaquias wrote:
> Is there any Haskell implementation that supports
> extensible data types, in which new value constructors
> can be added t
On Tue, 7 Nov 2000, M. S. Poole wrote:
> Can anyone point me toward some reasearch that implements a translator
> from Prolog to Haskell?
You can have a look at mine and Koen Claessen's paper from this year's
Haskell workshop:
Koen Claessen, Peter Ljunglöf (2000): Typed Logical Variables in H