My Master thesis subject was Normalizing the Core Representation in Helium
.
I compacted the core representation to improve the performance.
The specific normalization that is the most interesting is the match statement normalization.
In order to measure the performance improvements I ported the Nofib benchmark suite from GHC.