An Applicative Control-Flow Graph Based on Huet's Zipper. - Norman Ramsey; João Dias 005 (ML, 2005)

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. - João Dias 005; Norman Ramsey (CC, 2006)

Hoopl: a modular, reusable library for dataflow analysis and transformation. - Norman Ramsey; João Dias 005; Simon L. Peyton Jones (Haskell, 2010)

Automatically generating instruction selectors using declarative machine descriptions. - João Dias 005; Norman Ramsey (POPL, 2010)

Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. - Norman Ramsey; João Dias 005 (POPL, 2011)