The main task of this project is the addition of a SPECIALIZABLE pragma to GHC, that will have the effect of exposing an unfolding of the marked function for the explicit purpose of specialization of the call sites. A recursive/transitive variant may also be implemented. Any remaining time will be dedicated to other improvements to GHC

Organization

Student

Francesco Gazzetta @fgaz

Mentors

  • CarterSchonwald
  • Andreas Klebinger
  • chessai
close

2020