Íslenska
Aðilar að Skemmunni
Mín stofnun
Leit eftir:
Mín stofnun
32.290
5.250
1.820
6.463
3.085
Verk með efnisorðið 'Programming languages (Electronic computers)'
í allri Skemmunni > Efnisorð >
Efnisorð
1 til 3 af 3
Samþykkt | Titill | Höfundur(ar) |
|---|---|---|
| 13.6.2022 | Abstract board games: a framework and a language | Bjarni Dagur Thor Kárason 1999-; Guðmundur Freyr Ellertsson 2000- |
| 30.8.2017 | Formalizing the translation method in Agda | Bjarki Ágúst Guðmundsson 1993- |
| 19.6.2024 | Interactions of (co)monads in Agda | Calvin Santiago Lee 2000- |