GlewNeal

Stack-based typed assembly language

MorrisettGreg, WalkerDavid, CraryKarl, 2002 .

The Open Runtime Platform: a flexible high-performance managed runtime environment

GlewNeal, CierniakMichal, EngMarsha, 2005 .

A verifiable SSA program representation for aggressive compiler optimization

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

The Intel labs Haskell research compiler

LiuHai, GlewNeal, PetersenLeaf, 2013 .

From system F to typed assembly language

MorrisettGreg, WalkerDavid, CraryKarl, 1999 .