Search-based binding time analysis using type-directed pruning. - Tim Sheard; Nathan Linger (ASIA-PEPM, 2002)

Meta-programming with Typed Object-Language Representations. - Emir Pasalic; Nathan Linger (GPCE, 2004)

Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. - Nathan Linger; Tim Sheard (TACAS, 2004)

Programming in Omega. - Tim Sheard; Nathan Linger (CEFP, 2007)

Erasure and Polymorphism in Pure Type Systems. - Nathan Mishra-Linger; Tim Sheard (FoSSaCS, 2008)