[Haskell-cafe] formal semantics

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Aug 23 18:23:38 CEST 2012

Dear Haskell Cafe

I'm looking for information on past and current attempts to write semantics
for Haskell.
Features I'm particularly interested in are:

   - formal
   - mechanised
   - maintainable
   - up to date

Of course, if nothing like that exists then partial attempts towards it
could still be useful.

My ultimate aims include:

   1. Make it viable to define Haskell formally (i.e. so mechanised
   semantics can take over the normative role of the Haskell reports).
   2. Write a verified (or verify an existing) Haskell compiler (where
   verified means semantics preserving).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120823/f0cec0c5/attachment.htm>

More information about the Haskell-Cafe mailing list