Re: [isabelle-dev] Notes on GHC an mutable data structures

2015-10-06 Thread Makarius
On Tue, 22 Sep 2015, Florian Haftmann wrote: http://www.aosabook.org/en/ghc.html, section starting with »Crime Doesn't Pay« – from The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler That is indeed a very interesting document. About half of the points

[isabelle-dev] Notes on GHC an mutable data structures

2015-09-22 Thread Florian Haftmann
http://www.aosabook.org/en/ghc.html, section starting with »Crime Doesn't Pay« – from The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler Florian -- PGP available: