[Haskell-cafe] Formal semantics for Haskell?

Tim Newsham newsham at lava.net
Mon Feb 9 12:37:27 EST 2009

> 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:

> gregg

Tim Newsham

More information about the Haskell-Cafe mailing list