dblp.uni-trier.dewww.uni-trier.de

Daniel R. Licata

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEDaniel R. Licata, Noam Zeilberger, Robert Harper: Focusing on Binding and Computation. LICS 2008: 241-252
2007
3EERobert Harper, Daniel R. Licata: Mechanizing metatheory in a logical framework. J. Funct. Program. 17(4-5): 613-673 (2007)
2004
2EEDaniel R. Licata, Shriram Krishnamurthi: Verifying Interactive Web Programs. ASE 2004: 164-173
2003
1EEDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi: The Feature Signatures of Evolving Programs. ASE 2003: 281-285

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)