[Haskell-cafe] Proof that Haskell is RT

Andrew Birkett andy at nobugs.org
Wed Nov 12 17:02:08 EST 2008

Edsko de Vries wrote:
> See "What is a purely functional language" by Sabry. Not quite a formal 
> proof about *Haskell*, but then we would first need a formal semantics 
> of Haskell to be able to do that proof ;-)

Thanks for the reference, and also to everyone who replied -  all very 
useful and interesting.  For what it's worth, the blog posts I was 
writing are here:



More information about the Haskell-Cafe mailing list