PetersenLeaf

A verifiable SSA program representation for aggressive compiler optimization

R MurphyBrian, Adl-TabatabaiAli-Reza, GlewNeal, 2006 .

Enabling scalability and performance in a large scale CMP environment

SprangleEric, CarmeanDoug, Adl-TabatabaiAli-Reza, 2007 .

Typed compilation of recursive datatypes

DreyerDerek, CraryKarl, HarperRobert, 2003 .

The Intel labs Haskell research compiler

LiuHai, GlewNeal, PetersenLeaf, 2013 .