Morte: an intermediate language for super-optimizing functional programs (2014)haskellforall.com3 pointsxelxebar9 years ago