15 Oct
2005
15 Oct
'05
6:14 p.m.
Hello Ralf, Saturday, October 15, 2005, 9:00:53 PM, you wrote: RH> I wrote a book chapter on GADTs a while ago, called "Fun with RH> phantom types", see RH> http://www.informatik.uni-bonn.de/~ralf/publications.html#B4 thank you! i seen several articles about phantom types, including yours, but just don't known that it is the same thing :) -- Best regards, Bulat mailto:bulatz@HotPOP.com