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

#algebraicEffects

0 posts0 participants0 posts today
Programming Languages Delft<p>Master thesis by Olek Wolska: <br>Towards Modular Language Semantics of WebDSL: A Case Study of Using Algebraic Effects in Haskell for Language Specification</p><p>"We adapt the algebraic effects and handlers approach [...] to create a modular denotational semantics model of WebDSL [...] that allows us to distinguish between effects raised by different components of the language."</p><p><a href="https://repository.tudelft.nl/record/uuid:47aba90c-b45d-477b-90c0-462e111efdb1" 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:47aba90c-b45d-477b-90c0-462e111efdb1</span></a></p><p><a href="https://akademienl.social/tags/algebraiceffects" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebraiceffects</span></a> <a href="https://akademienl.social/tags/webdsl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webdsl</span></a> <a href="https://akademienl.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://akademienl.social/tags/master" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>master</span></a> <a href="https://akademienl.social/tags/thesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thesis</span></a></p>
Programming Languages Delft<p>Master thesis by Ivan Todorov: Modal μ-Calculus for Free</p><p>"we present [...] a way of modelling sequential effectful programs, such that the resulting models can be directly translated into runnable programs, thereby guaranteeing the models' accuracy. We achieve this by using algebraic effects, in order to model sequential effectful programs as instances of the coinductive free monad"</p><p><a href="https://akademienl.social/tags/algebraiceffects" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebraiceffects</span></a> <a href="https://akademienl.social/tags/freemonads" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>freemonads</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/thesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thesis</span></a></p><p><a href="https://repository.tudelft.nl/islandora/object/uuid%3A2c078c39-f60d-4c25-9d0e-35fadd67cc5d?collection=education" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">repository.tudelft.nl/islandor</span><span class="invisible">a/object/uuid%3A2c078c39-f60d-4c25-9d0e-35fadd67cc5d?collection=education</span></a></p>
Csepp 🌢<p>I guess this ties into effect handling and <a href="https://merveilles.town/tags/algebraicEffects" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algebraicEffects</span></a> ? 🤔<br>Not sure how the types would look or what conversions would be coherent though...</p>