Zobrazeno 1 - 10
of 1 607
pro vyhledávání: '"Higher-order programming"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, May 2011 ISSN (Online): 1694-0814 www.IJCSI.org
Knowledge mining is the process of deriving new and useful knowledge from vast volumes of data and background knowledge. Modern healthcare organizations regularly generate huge amount of electronic data stored in the databases. These data are a valua
Externí odkaz:
http://arxiv.org/abs/1107.4651
Autor:
Anders, Torsten, Miranda, Eduardo R.
Publikováno v:
Computer Music Journal, 2010 Jul 01. 34(2), 25-38.
Externí odkaz:
https://www.jstor.org/stable/40731280
Autor:
Ugo Dal Lago
Publikováno v:
Mathematical Structures in Computer Science. 32:760-776
This paper is meant to be a survey about implicit characterizations of complexity classes by fragments of higher-order programming languages, with a special focus on type systems and subsystems of linear logic. Particular emphasis will be put on Mart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb10f1691fb3890c01b417a02f82b387
https://doi.org/10.1017/s0960129521000505
https://doi.org/10.1017/s0960129521000505
Autor:
Bellia, Marco1 bellia@di.unipi.it, Occhiuto, M. Eugenia2 occhiuto@di.unipi.it
Publikováno v:
Fundamenta Informaticae. 2005, Vol. 67 Issue 1-3, p29-44. 16p.
Publikováno v:
Journal of Information and Organizational Sciences. 33(1):79-150
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=639037
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158147⟩
Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158147⟩
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the main primit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efd54d2b63ef163c3f2053187c9d0b3a
https://hal.archives-ouvertes.fr/hal-02346093
https://hal.archives-ouvertes.fr/hal-02346093
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Information and Organizational Sciences, Vol 33, Iss 1 (2009)
Fifty years ago one of the greatest breakthroughs in computer programming and in the history of computers happened -- the appearance of FORTRAN, the first higher-order programming language. From that time until now hundreds of programming languages w
Externí odkaz:
https://doaj.org/article/c2edcfb447ea419ca45da726b604ca6c