17 citations · 48 across the 16 of their papers we have counts for
16 papers
Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
Daniele Nantes-Sobrinho, Manfred Schmidt-Schauss, Alexander Baumgartner +1
Generalization problems in languages with binders involve computing the most common structure between expressions while respecting bound variable renaming and freshness constraints…
A Probabilistic Call-by-Need Lambda-Calculus -- Extended Version
David Sabel, Manfred Schmidt-Schauß, Luca Maio
To support the understanding of declarative probabilistic programming languages, we introduce a lambda-calculus with a fair binary probabilistic choice that chooses between its arg…
Minimal Translations from Synchronous Communication to Synchronizing Locks
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy +2
A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in nondeterministic polynomial time. We also…
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars
Manfred Schmidt-Schauß, David Sabel
Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics ad…