| 2008 | ||
|---|---|---|
| 4 | EE | Jan Midtgaard, Thomas Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362 |
| 2005 | ||
| 3 | EE | Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theor. Comput. Sci. 342(1): 149-172 (2005) |
| 2004 | ||
| 2 | EE | Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90(5): 223-232 (2004) |
| 2003 | ||
| 1 | EE | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19 |
| 1 | Mads Sig Ager | [1] [2] [3] |
| 2 | Dariusz Biernacki | [1] |
| 3 | Olivier Danvy | [1] [2] [3] |
| 4 | Thomas Jensen | [4] |