Manfred Schmidt-Schauß | DeepAI

AI Chat

Featured Co-authors

David Sabel
8 publications
Jordi Levy
6 publications
Temur Kutsia
5 publications
Mateu Villaret
3 publications
Nils Dallmeyer
2 publications
Luca Maio
1 publication
Yunus Kutz
1 publication

∙ 05/30/2022

A Probabilistic Call-by-Need Lambda-Calculus – Extended Version

To support the understanding of declarative probabilistic programming la...

0 David Sabel, et al. ∙

∙ 08/24/2021

Minimal Translations from Synchronous Communication to Synchronizing Locks

In order to understand the relative expressive power of larger concurren...

0 Manfred Schmidt-Schauß, et al. ∙

∙ 07/30/2021

Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)

In order to understand the relative expressive power of larger concurren...

0 Manfred Schmidt-Schauß, et al. ∙

∙ 02/16/2021

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order e...

0 Manfred Schmidt-Schauß, et al. ∙

∙ 08/31/2020

Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars

Comparison of concurrent programming languages and correctness of progra...

0 Manfred Schmidt-Schauß, et al. ∙

∙ 02/22/2019

Optimizing Space of Parallel Processes

This paper is a contribution to exploring and analyzing space-improvemen...

0 Manfred Schmidt-Schauß, et al. ∙

∙ 02/19/2018

Space Improvements and Equivalences in a Functional Core Language

We explore space improvements in LRP, a polymorphically typed call-by-ne...

0 Manfred Schmidt-Schauß, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world