Manfred Schmidt-Schauß
Goethe-Universität Frankfurt am Main
H-index: 29
Europe-Germany
Top articles of Manfred Schmidt-Schauß
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Program equivalence in a typed probabilistic call-by-need functional language | Journal of Logical and Algebraic Methods in Programming | Manfred Schmidt-Schauß David Sabel | 2023/10/1 |
Towards Fast Nominal Anti-unification of Letrec-Expressions | Manfred Schmidt-Schauß Daniele Nantes-Sobrinho | 2023/7/1 | |
A Probabilistic Call-by-Need Lambda-Calculus--Extended Version | arXiv preprint arXiv:2205.14916 | David Sabel Manfred Schmidt-Schauß Luca Maio | 2022/5/30 |
Nominal unification and matching of higher order expressions with recursive let | Fundamenta Informaticae | Manfred Schmidt-Schauß Temur Kutsia Jordi Levy Mateu Villaret Yunus Kutz | 2022/5/6 |
Nominal anti-unification with atom-variables | Manfred Schmidt-Schauß Daniele Nantes Sobrinho | 2022 | |
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus | David Sabel Manfred Schmidt-Schauß Luca Maio | 2022/9/20 | |
Minimal Translations from Synchronous Communication to Synchronizing Locks | arXiv preprint arXiv:2108.11226 | Manfred Schmidt-Schauß David Sabel | 2021/8/24 |
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars | arXiv preprint arXiv:2008.13359 | Manfred Schmidt-Schauß David Sabel | 2020/8/31 |
On Impossibility of Simple Modular Translations of Concurrent Calculi | Manfred Schmidt-Schauß David Sabel | 2020/6/29 | |
Rewriting with generalized nominal unification | Mathematical Structures in Computer Science | Yunus Kutz Manfred Schmidt-Schauß | 2020/6 |
Nominal Unification with Letrec and Environment-Variables | Manfred Schmidt-Schauß Yunus Kutz | 2020/9/7 |