Íslenska
Aðilar að Skemmunni
Mín stofnun
Leit eftir:
Mín stofnun
32.768
5.300
1.903
6.618
3.095
Verk með efnisorðið 'Forritunarmál'
í allri Skemmunni > Efnisorð >
Efnisorð
1 til 7 af 7
Samþykkt | Titill | Höfundur(ar) |
|---|---|---|
| 24.6.2010 | A comparison of game engines and languages | Rósa Dögg Jónsdóttir |
| 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- |
| 29.4.2010 | Morpho VM: An Indirect Threaded Stackless Virtual Machine | Hallgrímur H. Gunnarsson 1983- |
| 7.6.2011 | Network Socket Module for Morpho | Baldur Þór Emilsson 1987- |
| 18.6.2013 | Vinna og verkferlar Scrum-meistara við hönnun og smíði kauphallarkerfis fyrir rafræna gjaldmiðla | Sveinbjörn Geirsson 1986- |