| |
| 2008 | ||
|---|---|---|
| 4 | EE | Manfred Schmidt-Schauß, Elena Machkasova: A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. RTA 2008: 321-335 |
| 3 | EE | Elena Machkasova: Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Electr. Notes Theor. Comput. Sci. 204: 147-162 (2008) |
| 2007 | ||
| 2 | EE | Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova: Optimizing java programs using generic types. OOPSLA Companion 2007: 829-830 |
| 2000 | ||
| 1 | EE | Elena Machkasova, Franklyn A. Turbak: A Calculus for Link-Time Compilation. ESOP 2000: 260-274 |
| 1 | Nathan Dahlberg | [2] |
| 2 | Eli Mayfield | [2] |
| 3 | John Kyle Roth | [2] |
| 4 | Manfred Schmidt-Schauß | [4] |
| 5 | Daniel Selifonov | [2] |
| 6 | Franklyn A. Turbak | [1] |