[Haskell-cafe] formal semantics
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
Features I'm particularly interested in are:
- 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...
More information about the Haskell-Cafe