ML (γλώσσα προγραμματισμού) (Greek Wikipedia)

Analysis of information sources in references of the Wikipedia article "ML (γλώσσα προγραμματισμού)" in Greek language version.

refsWebsite

Global rank Greek rank

7doi.org

2^nd place

3^rd place

2archive.org

6^th place

5^th place

2ed.ac.uk

1,871^st place

2,026^th place

1smlfamily.github.io

low place

1princeton.edu

741^st place

1,144^th place

1ocaml.org

low place

1tufts.edu

155^th place

43^rd place

1web.archive.org

1^st place

1nmsu.edu

6,873^rd place

low place

1cmu.edu

1,564^th place

4,795^th place

1cornell.edu

332^nd place

686^th place

archive.org (Global: 6^th place; Greek: 5^th place)

Augustsson, L.; Johnsson Τ. (1989). «The Chalmers Lazy-ML Compiler». The Computer Journal 32 (2): 127–141. doi:https://doi.org/10.1093/comjnl/32.2.127. https://archive.org/details/sim_computer-journal_1989-04_32_2/page/127.
Myers, Colin· Clark, Chris· Poon, Ellen (1993). Programming with Standard ML. New York: Prentice Hall. ISBN 0-13-722075-8.

cmu.edu (Global: 1,564^th place; Greek: 4,795^th place)

cs.cmu.edu

Harper, Robert. «Programming in Standard ML» (PDF). Carnegie Mellon University. Ανακτήθηκε στις 17 Ιουλίου 2022.

cornell.edu (Global: 332^nd place; Greek: 686^th place)

cs.cornell.edu

Pucella, Riccardo. «Notes on Programming Standard ML of New Jersey» (PDF). Cornell University. Ανακτήθηκε στις 17 Ιουλίου 2022.

doi.org (Global: 2^nd place; Greek: 3^rd place)

dx.doi.org

Gordon, M.; Milner, R.; Morris, L.; Newey, M.; Wadsworth, C. (1978). «A Metalanguage for interactive proof in LCF». Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages: 119–130. doi:https://doi.org/10.1145/512760.512773.
Hindley, R. (1969). «The Principal Type-Scheme of an Object in Combinatory Logic». Transactions of the American Mathematical Society 146: 29. doi:doi:10.2307/1995158.
Milner, Robin (1978). «A theory of type polymorphism in programming». Journal of Computer and System Sciences 17 (3): 348-375. doi:https://doi.org/10.1016/0022-0000(78)90014-4.
Augustsson, L.; Johnsson Τ. (1989). «The Chalmers Lazy-ML Compiler». The Computer Journal 32 (2): 127–141. doi:https://doi.org/10.1093/comjnl/32.2.127. https://archive.org/details/sim_computer-journal_1989-04_32_2/page/127.
Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott (2014). «CakeML: a verified implementation of ML». ACM SIGPLAN Notices 49 (1): 179–191. doi:https://doi.org/10.1145/2578855.2535841.
Wong, Limsoon (2000). «The functional guts of the Kleisli query system». ACM SIGPLAN Notices 35 (9): 1–10. doi:https://doi.org/10.1145/357766.351241.

doi.org

Gordon, Michael J. C. (1979). Edinburgh LCF : a mechanised logic of computation. Berlin: Springer-Verlag. ISBN 978-3-540-09724-2.

ed.ac.uk (Global: 1,871^st place; Greek: 2,026^th place)

research.ed.ac.uk

Milner, R. (1982). «How ML evlolved». ML/Hope/LCF Newsletter 1 (1): 25-34. https://www.research.ed.ac.uk/en/publications/how-ml-evlolved.

homepages.inf.ed.ac.uk

Gilmore, Stephen. «Programming in Standard ML '97: An On-line Tutorial» (PDF). University of Edinburgh. Ανακτήθηκε στις 17 Ιουλίου 2022.

nmsu.edu (Global: 6,873^rd place; Greek: low place)

cs.nmsu.edu

Cumming, Andrew. «A Gentle Introduction to ML». Αρχειοθετήθηκε από το πρωτότυπο στις 27 Ιανουαρίου 2023. Ανακτήθηκε στις 17 Ιουλίου 2022.

ocaml.org (Global: low place; Greek: low place)

«OCaml in Industry». OCaml. Ανακτήθηκε στις 17 Ιουλίου 2022.

princeton.edu (Global: 741^st place; Greek: 1,144^th place)

cs.princeton.edu

Appel, Andrew W. (1998). Modern compiler implementation in ML. Cambridge: Cambridge University Press. ISBN 0-521-60764-7.

smlfamily.github.io (Global: low place; Greek: low place)

Milner, Robin· Tofte, Mads· Harper, Robert· MacQueen, David (1997). The definition of standard ML : revised (PDF). Cambridge, Mass.: MIT Press. ISBN 9780262631815.

tufts.edu (Global: 155^th place; Greek: 43^rd place)

cs.tufts.edu

Tofte, Mads. «Four Lectures on Standard ML» (PDF). Ανακτήθηκε στις 17 Ιουλίου 2022.

web.archive.org (Global: 1^st place; Greek: 1^st place)

Cumming, Andrew. «A Gentle Introduction to ML». Αρχειοθετήθηκε από το πρωτότυπο στις 27 Ιανουαρίου 2023. Ανακτήθηκε στις 17 Ιουλίου 2022.

ML (γλώσσα προγραμματισμού) (Greek Wikipedia)

archive.org (Global: 6th place; Greek: 5th place)

cmu.edu (Global: 1,564th place; Greek: 4,795th place)

cs.cmu.edu

cornell.edu (Global: 332nd place; Greek: 686th place)

cs.cornell.edu

doi.org (Global: 2nd place; Greek: 3rd place)

dx.doi.org

doi.org

ed.ac.uk (Global: 1,871st place; Greek: 2,026th place)

research.ed.ac.uk

homepages.inf.ed.ac.uk

nmsu.edu (Global: 6,873rd place; Greek: low place)

cs.nmsu.edu

ocaml.org (Global: low place; Greek: low place)

princeton.edu (Global: 741st place; Greek: 1,144th place)

cs.princeton.edu

smlfamily.github.io (Global: low place; Greek: low place)

tufts.edu (Global: 155th place; Greek: 43rd place)

cs.tufts.edu

web.archive.org (Global: 1st place; Greek: 1st place)

archive.org (Global: 6^th place; Greek: 5^th place)

cmu.edu (Global: 1,564^th place; Greek: 4,795^th place)

cornell.edu (Global: 332^nd place; Greek: 686^th place)

doi.org (Global: 2^nd place; Greek: 3^rd place)

ed.ac.uk (Global: 1,871^st place; Greek: 2,026^th place)

nmsu.edu (Global: 6,873^rd place; Greek: low place)

princeton.edu (Global: 741^st place; Greek: 1,144^th place)

tufts.edu (Global: 155^th place; Greek: 43^rd place)

web.archive.org (Global: 1^st place; Greek: 1^st place)