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