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

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

cs.cmu.edu

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

cornell.edu

cs.cornell.edu

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

doi.org

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

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

cs.nmsu.edu

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

ocaml.org

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

princeton.edu

cs.princeton.edu

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

smlfamily.github.io

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

tufts.edu

cs.tufts.edu

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

web.archive.org

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