[Haskell-cafe] About functional programing, type theory and a master thesis topic

[Stefan O'Rear]

On Tue, Apr 24, 2007 at 09:25:55PM -0300, Glauber Cabral wrote:
> Hi everybody =)
> First time I write to the list.

http://haskell.org/pipermail/haskell-cafe/2007-April/024819.html
http://haskell.org/pipermail/haskell-cafe/2007-April/024867.html

(I am not a researcher and cannot comment on the rest of your post,
except to say that it is not too long.)


Stefan