101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Server stats:

485
active users

#mucalculus

0 posts0 participants0 posts today
Programming Languages Delft<p>Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"</p><p>"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."</p><p><a href="https://repository.tudelft.nl/record/uuid:a18ab135-96b1-417c-b25e-46aa02521896" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">repository.tudelft.nl/record/u</span><span class="invisible">uid:a18ab135-96b1-417c-b25e-46aa02521896</span></a></p><p><a href="https://akademienl.social/tags/thesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thesis</span></a> <a href="https://akademienl.social/tags/PatternMatching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PatternMatching</span></a> <a href="https://akademienl.social/tags/MuCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MuCalculus</span></a> <a href="https://akademienl.social/tags/ModelChecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModelChecking</span></a> <a href="https://akademienl.social/tags/mCRL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mCRL2</span></a></p>
Programming Languages Delft<p>Paper by Ivan Todorov and Casper Bach Poulsen at TyDe '24: Modal μ-Calculus for Free in Agda</p><p>"Using dependently-typed programming in Agda, we develop an embedding of the modal μ-calculus for defining and verifying functional properties of possibly-non-terminating effectful programs which we represent in Agda using the coinductive free monad."</p><p><a href="https://dl.acm.org/doi/10.1145/3678000.3678202" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dl.acm.org/doi/10.1145/3678000</span><span class="invisible">.3678202</span></a></p><p><a href="https://akademienl.social/tags/mucalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mucalculus</span></a> <a href="https://akademienl.social/tags/agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>agda</span></a> <a href="https://akademienl.social/tags/effects" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>effects</span></a> <a href="https://akademienl.social/tags/coinduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coinduction</span></a> <a href="https://akademienl.social/tags/tyde" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tyde</span></a></p>