Re: [isabelle-dev] Notes on GHC an mutable data structures
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
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: