[Haskell-cafe] formal methods & functional programming

[Hal Daume III]

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)...

  http://math.andrej.com/2005/04/09/specifications-via-realizability/

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