Modular and generic programming with interpreterlib. - Philip Weaver; Garrin Kimmell; Nicolas Frisby; Perry Alexander (ASE, 2007)

Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol. - Sally Browning; Philip Weaver (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

Constructing language processors with algebra combinators. - Nicolas Frisby; Garrin Kimmell; Philip Weaver; Perry Alexander (Sci. Comput. Program., 2010)