Changes between Version 29 and Version 30 of Status/May11
 Timestamp:
 May 2, 2011 8:41:14 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Status/May11
v29 v30 117 117 == Bibliography == 118 118 119 * [!ChunkedStack] An overhaul of stack management, and some performance improvements, Simon Marlow, blog post, Dec2010, http://hackage.haskell.org/trac/ghc/blog/stackchunks119 * [!ChunkedStack] ''An overhaul of stack management, and some performance improvements'', Simon Marlow, blog post, Dec2010, http://hackage.haskell.org/trac/ghc/blog/stackchunks 120 120 121 * [Cloud] "Haskell for the cloud", Epstein, Black, Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/121 * [Cloud] ''Haskell for the cloud'', Epstein, Black, Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/ 122 122 123 * [Derivable] "A generic deriving mechanism for Haskell", Magalhães, Dijkstra, Jeuring and Löh, Haskell Symposium 2010, http://www.dreixel.net/research/pdf/gdmh_nocolor.pdf.123 * [Derivable] ''A generic deriving mechanism for Haskell'', Magalhães, Dijkstra, Jeuring and Löh, Haskell Symposium 2010, http://www.dreixel.net/research/pdf/gdmh_nocolor.pdf. 124 124 125 * [!DetPar] "A monad for deterministic parallelism", Marlow, Newton, and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/125 * [!DetPar] ''A monad for deterministic parallelism'', Marlow, Newton, and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/parallel/ 126 126 127 * [ FC] "System F with type equality coercions", Sulzmann, Chakravarty, Peyton Jones, TLDI 2007, http://research.microsoft.com/~simonpj/papers/extf/127 * [!EdgeDetect] ''Edgedetection video'', http://code.ouroborus.net/beholder/video/Edge480.mov 128 128 129 * [ Hoopl] "A modular, reusable library for dataflow analysis and transformation", Dias, Ramsey, and Peyton Jones, Haskell Symposium 2010, http://research.microsoft.com/~simonpj/papers/c/129 * [FC] ''System F with type equality coercions'', Sulzmann, Chakravarty, Peyton Jones, TLDI 2007, http://research.microsoft.com/~simonpj/papers/extf/ 130 130 131 * [ !ImprovingSupercompilation] "Improving supercompilation: tagbags, rollback, speculation, normalisation, and generalisation", Bolingbroke and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/supercompilation/131 * [Hoopl] ''A modular, reusable library for dataflow analysis and transformation'', Dias, Ramsey, and Peyton Jones, Haskell Symposium 2010, http://research.microsoft.com/~simonpj/papers/c/ 132 132 133 * [ Liquid] Liquid types, Ranjit Jhala, http://goto.ucsd.edu/~rjhala/liquid Liquid133 * [!ImprovingSupercompilation] ''Improving supercompilation: tagbags, rollback, speculation, normalisation, and generalisation'', Bolingbroke and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/supercompilation/ 134 134 135 * [ NewFC] "Practical aspects of evidencebased compilation in System FC", Vytiniotis and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/extf/135 * [Liquid] ''Liquid types'', Ranjit Jhala, http://goto.ucsd.edu/~rjhala/liquid Liquid 136 136 137 * [ !OutsideIn] "Modular type inference iwth local assumptions", Vytiniotis, Peyton Jones, Schrijvers, and Sulzmann, Journal of Functional Programming (to appear), http://research.microsoft.com/~simonpj/papers/constraints/137 * [NewFC] ''Practical aspects of evidencebased compilation in System FC'', Vytiniotis and Peyton Jones, submitted to ICFP 2011, http://research.microsoft.com/~simonpj/papers/extf/ 138 138 139 * [! ParallelGhcProject] "The Parallel GHC Project home page", http://www.haskell.org/haskellwiki/Parallel_GHC_Project139 * [!OutsideIn] ''Modular type inference iwth local assumptions'', Vytiniotis, Peyton Jones, Schrijvers, and Sulzmann, Journal of Functional Programming (to appear), http://research.microsoft.com/~simonpj/papers/constraints/ 140 140 141 * [ Repa] "Regular, shapepolymorphic parallel arrays in Haskell", Keller, Chakravarty, Leshchinskiy, Peyton Jones, and Lippmeier, ICFP 2010. Paper: http://research.microsoft.com/~simonpj/papers/ndp/, Hackage package: http://hackage.haskell.org/package/repa141 * [!ParallelGhcProject] ''The Parallel GHC Project home page'', http://www.haskell.org/haskellwiki/Parallel_GHC_Project 142 142 143 * [ SHE] The Strathclyde Haskell Enhancement, Conor !McBride, 2010, http://personal.cis.strath.ac.uk/~conor/pub/she/143 * [Repa] ''Regular, shapepolymorphic parallel arrays in Haskell'', Keller, Chakravarty, Leshchinskiy, Peyton Jones, and Lippmeier, ICFP 2010. Paper: http://research.microsoft.com/~simonpj/papers/ndp/, Hackage package: http://hackage.haskell.org/package/repa 144 144 145 * [S tencil] Efficient Parallel Stencil Convolution in Haskell, Lippmeier et al., http://www.cse.unsw.edu.au/~benl/papers/stencil/stencilicfp2011sub.pdf145 * [SHE] ''The Strathclyde Haskell Enhancement'', Conor !McBride, 2010, http://personal.cis.strath.ac.uk/~conor/pub/she/ 146 146 147 * [!EdgeDetect] http://code.ouroborus.net/beholder/video/Edge480.mov 148 149 * [!StackChunks] http://hackage.haskell.org/trac/ghc/blog/stackchunks 147 * [Stencil] ''Efficient Parallel Stencil Convolution in Haskell'', Lippmeier et al., http://www.cse.unsw.edu.au/~benl/papers/stencil/stencilicfp2011sub.pdf