9 Feb
2009
9 Feb
'09
12:37 p.m.
ML has a formal definition[1]; why not Haskell? Would this be a Good Thing, or a Waste Of Time?
Not exactly what you are asking for, but a start: http://www.cs.kent.ac.uk/pubs/1992/123/index.html
gregg
Tim Newsham http://www.thenewsh.com/~newsham/