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