Noam Zeilberger

	2009
5		Robert Harper, Daniel R. Licata, Noam Zeilberger: A Pronominal Approach to Binding and Computation. TLCA 2009: 3-4
	2008
4		Daniel R. Licata, Noam Zeilberger, Robert Harper: Focusing on Binding and Computation. LICS 2008: 241-252
3		Noam Zeilberger: Focusing and higher-order abstract syntax. POPL 2008: 359-369
2		Noam Zeilberger: On the unity of duality. Ann. Pure Appl. Logic 153(1-3): 66-96 (2008)
	2007
1		Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681

Coauthor Index

1	Sagar Chaki	[1]
2	Robert Harper	[4] [5]
3	James Ivers	[1]
4	Peter Lee	[1]
5	Daniel R. Licata	[4] [5]
6	Kurt C. Wallnau	[1]