Recent searches

No recent searches

Search options

Only available when logged in.
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.

Administered by:

Server stats:

504
active users

101010.pl: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-beta.2

#Spoofax

0 posts0 participants0 posts today
Programming Languages Delft<p>Master thesis by Alex Haršáni: Embedding Statix in Agda</p><p>"Using Statix, we can write a specification using constraints over scope graphs and terms. [...] we introduce a library called statix-in-agda. This library, written using the proof assistant Agda, includes the formalisation of scope graphs and embedding of Statix's constraints."</p><p><a href="https://repository.tudelft.nl/record/uuid:8dfeb8f9-4bb3-4f91-8692-b9c9fbb4dadc" 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:8dfeb8f9-4bb3-4f91-8692-b9c9fbb4dadc</span></a></p><p><a href="https://akademienl.social/tags/Statix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Statix</span></a> <a href="https://akademienl.social/tags/Spoofax" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spoofax</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>
Programming Languages Delft<p>Hello, world! We are the Programming Languages group at TU Delft. Our current members on Mastodon are <span class="h-card" translate="no"><a href="https://types.pl/@casperbp" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>casperbp</span></a></span>, <span class="h-card" translate="no"><a href="https://discuss.systems/@dennis" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dennis</span></a></span>, <span class="h-card" translate="no"><a href="https://mastodon.nl/@virtlink" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>virtlink</span></a></span>, <span class="h-card" translate="no"><a href="https://types.pl/@liesnikov" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>liesnikov</span></a></span>, <span class="h-card" translate="no"><a href="https://mastodon.social/@baboum" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>baboum</span></a></span>, <span class="h-card" translate="no"><a href="https://types.pl/@casvdrest" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>casvdrest</span></a></span>, <span class="h-card" translate="no"><a href="https://akademienl.social/@pdmosses" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>pdmosses</span></a></span>, <span class="h-card" translate="no"><a href="https://mastodon.social/@sarantja" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sarantja</span></a></span> and <span class="h-card" translate="no"><a href="https://types.pl/@agdakx" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>agdakx</span></a></span>. Stay tuned to this channel to hear all the latest updates from Delft about <a href="https://akademienl.social/tags/Spoofax" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spoofax</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/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a>, <a href="https://akademienl.social/tags/ModularLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModularLanguages</span></a>, <a href="https://akademienl.social/tags/WeakMemoryModels" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WeakMemoryModels</span></a>, and <a href="https://akademienl.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> in general. <a href="https://akademienl.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a></p>
TrendingLive feeds
About