Íslenska
Aðilar að Skemmunni
Mín stofnun
Leit eftir:
Mín stofnun
32.767
5.287
1.830
6.618
3.095
Verk með efnisorðið 'Programming languages (Electronic computers)'
Háskólinn í Reykjavík > Tæknisvið / School of Technology > MSc Tölvunarfræðideild / Department of Computer Science > Efnisorð >
Efnisorð
1 til 2 af 2
Samþykkt | Titill | Höfundur(ar) |
|---|---|---|
| 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- |