Nathan Mishra-Linger Vis

Nathan Linger

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 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

*	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

Coauthor Index

1 Emir Pasalic [3]

2 Tim Sheard [1] [2] [4] [5]