| |
| 2008 | ||
|---|---|---|
| 4 | EE | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel: Adequacy of Compositional Translations for Observational Semantics. IFIP TCS 2008: 521-535 |
| 3 | EE | Manfred Schmidt-Schauß, David Sabel, Marko Schütz: Safety of Nöcker's strictness analysis. J. Funct. Program. 18(4): 503-551 (2008) |
| 2 | EE | David Sabel, Manfred Schmidt-Schauß: A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. Mathematical Structures in Computer Science 18(3): 501-553 (2008) |
| 2007 | ||
| 1 | EE | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007) |
| 1 | Joachim Niehren | [1] [4] |
| 2 | Manfred Schmidt-Schauß | [1] [2] [3] [4] |
| 3 | Marko Schütz | [3] |
| 4 | Jan Schwinghammer | [1] [4] |