[Haskell-cafe] formal methods & functional programming

Hal Daume III hdaume at ISI.EDU
Sun Jan 15 21:14:47 EST 2006

I confess I haven't really been following this discussion, but a friend of 
mine has a recent paper that might be of interest (though it deals with ML 
rather than Haskell)...


 Hal Daume III                                   | hdaume at isi.edu
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume

More information about the Haskell-Cafe mailing list