research
∙
05/30/2022
A Probabilistic Call-by-Need Lambda-Calculus – Extended Version
To support the understanding of declarative probabilistic programming la...
share
research
∙
08/24/2021
Minimal Translations from Synchronous Communication to Synchronizing Locks
In order to understand the relative expressive power of larger concurren...
research
∙
07/30/2021
Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)
In order to understand the relative expressive power of larger concurren...
research
∙
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...
research
∙
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...
research
∙
02/22/2019
Optimizing Space of Parallel Processes
This paper is a contribution to exploring and analyzing space-improvemen...
research
∙
02/19/2018