Daniel R. Licata

	2009
6		Daniel R. Licata, Robert Harper: A universe of binding and computation. ICFP 2009: 123-134
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
	2007
3		Robert Harper, Daniel R. Licata: Mechanizing metatheory in a logical framework. J. Funct. Program. 17(4-5): 613-673 (2007)
	2004
2		Daniel R. Licata, Shriram Krishnamurthi: Verifying Interactive Web Programs. ASE 2004: 164-173
	2003
1		Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi: The Feature Signatures of Evolving Programs. ASE 2003: 281-285

Coauthor Index

1	Robert Harper	[3] [4] [5] [6]
2	Christopher D. Harris	[1]
3	Shriram Krishnamurthi	[1] [2]
4	Noam Zeilberger	[4] [5]