 | 2008 |
|---|
| 5 |       | Manfred Schmidt-Schauß,
Joachim Niehren,
Jan Schwinghammer,
David Sabel:
Adequacy of Compositional Translations for Observational Semantics.
IFIP TCS 2008: 521-535 |
| 4 | | Manfred Schmidt-Schauß,
David Sabel,
Marko Schütz:
Safety of Nöcker's strictness analysis.
J. Funct. Program. 18(4): 503-551 (2008) |
| 3 | | 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 |
|---|
| 2 | | 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 | | Manfred Schmidt-Schauß,
David Sabel,
Marko Schütz:
Deciding inclusion of set constants over infinite non-strict data structures.
ITA 41(2): 225-241 (2007) |
