Login / Signup
Nathan Linger
Publication Activity (10 Years)
Years Active: 2002-2007
Publications (10 Years): 0
</>
Publications
</>
Tim Sheard
,
Nathan Linger
Programming in Omega.
CEFP
(2007)
Nathan Linger
,
Tim Sheard
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.
TACAS
(2004)
Emir Pasalic
,
Nathan Linger
Meta-programming with Typed Object-Language Representations.
GPCE
(2004)
Tim Sheard
,
Nathan Linger
Search-based binding time analysis using type-directed pruning.
ASIA-PEPM
(2002)