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

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