Узагальнений алгебричний тип даних (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Узагальнений алгебричний тип даних" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

2web.archive.org

1^st place

1^st place

low place

low place

1idris-lang.org

low place

low place

2^nd place

4^th place

doi.org

dx.doi.org

https://dx.doi.org/10.1007/978-3-642-03359-9_6. Proceedings of the 22Nd International Conference on Theorem Proving in Higher Order Logics. TPHOLs '09. Munich, Germany: Springer-Verlag. 2009. с. 73—78. Процитовано 6 грудня 2013. {{cite conference}}: Пропущений або порожній |title= (довідка)

idris-lang.org

Idris Example. Архів оригіналу за 16 грудня 2014. Процитовано 13 грудня 2014. [Архівовано 2014-12-16 у Wayback Machine.]

ocaml.org

oud.ocaml.org

Xavier Leroy (14 вересня 2012). The state of OCaml, 2012 (PDF). OCaml Users and Developers Workshop (англ.). с. 4. Архів оригіналу (PDF) за 2 січня 2015. Процитовано 13 грудня 2014. [Архівовано 2015-01-02 у Wayback Machine.]

web.archive.org

Xavier Leroy (14 вересня 2012). The state of OCaml, 2012 (PDF). OCaml Users and Developers Workshop (англ.). с. 4. Архів оригіналу (PDF) за 2 січня 2015. Процитовано 13 грудня 2014. [Архівовано 2015-01-02 у Wayback Machine.]
Idris Example. Архів оригіналу за 16 грудня 2014. Процитовано 13 грудня 2014. [Архівовано 2014-12-16 у Wayback Machine.]