| |
Nathan Linger
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 5 | EE | Nathan Mishra-Linger, Tim Sheard: Erasure and Polymorphism in Pure Type Systems. FoSSaCS 2008: 350-364 |
| 2007 | ||
| 4 | EE | Tim Sheard, Nathan Linger: Programming in Omega. CEFP 2007: 158-227 |
| 2004 | ||
| 3 | EE | Emir Pasalic, Nathan Linger: Meta-programming with Typed Object-Language Representations. GPCE 2004: 136-167 |
| 2 | EE | Nathan Linger, Tim Sheard: Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS 2004: 266-279 |
| 2002 | ||
| 1 | EE | Tim Sheard, Nathan Linger: Search-based binding time analysis using type-directed pruning. ASIA-PEPM 2002: 20-31 |
| 1 | Emir Pasalic | [3] |
| 2 | Tim Sheard | [1] [2] [4] [5] |