المؤلفون: Matović, Petra¹ pmatovic@ffzg.hr

المصدر: International Journal of the Classical Tradition. Dec2023, Vol. 30 Issue 4, p381-394. 14p.

مصطلحات موضوعية: *DIDACTIC poetry, *LATIN poetry, *CORPORA, *LINGUISTIC analysis

People: HASKELL, Yasmin

المؤلفون: Alguwaifli, Yasir

المساهمون: Brown, Christopher Mark, Brady, Edwin

مصطلحات موضوعية: Programming languages energy, Programming languages, Parallel energy, Parallelism, Functional programming, Haskell, C/C++, QA76.62A64, Functional programming (Computer science), Programming languages (Electronic computers), Haskell (Computer program language)

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.887585Test

المؤلفون: Sarkar, Abhiroop, 1991, Krook, Robert, 1993, Russo, Alejandro, 1978, Claessen, Koen, 1975

المصدر: Octopi: Säker Programering för Sakernas Internet 16th ACM SIGPLAN International Symposium on Haskell, Haskell 2023, Co-located with ICFP 2023, Seattle, USA Haskell 2023 - Proceedings of the 16th ACM SIGPLAN International Symposium on Haskell, Co-located with ICFP 2023. :72-88

مصطلحات موضوعية: Trusted Execution Environment, Haskell, Intel SGX, Enclave

وصف الملف: electronic

الوصول الحر: https://research.chalmers.se/publication/537962Test
https://research.chalmers.se/publication/537598Test
https://research.chalmers.se/publication/537962/file/537962_Fulltext.pdfTest

المؤلفون: Mainland, Geoffrey¹ mainland@drexel.edu, Leshchinskiy, Roman rleshchinskiy@gmail.com, Peyton Jones, Simon² simonpj@microsoft.com

المصدر: Communications of the ACM. May2017, Vol. 60 Issue 5, p83-91. 9p. 2 Charts, 2 Graphs.

مصطلحات موضوعية: *COMPUTER programming, HASKELL (Computer program language), ARRAY processing, UNICODE (Computer character set), VECTOR processing (Computer science), SIMD (Computer architecture)

المؤلفون: Esteves, Gonçalo José Azevedo

المساهمون: Oliveira, José Nuno Fonseca, Universidade do Minho

مصطلحات موضوعية: Artificial Intelligence, Neural networks, Compositionality, Functional programming, Haskell, Dissertação de mestrado, Programação funcional, Composicionalidade, Inteligência Artificial, Redes neuronais, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

العلاقة: 203537327

الإتاحة: https://hdl.handle.net/1822/89315Test

المؤلفون: Slack, Larry J., author

مصطلحات موضوعية: Coal mines and mining -- Oklahoma -- Haskell County., Hydrology -- Oklahoma -- Haskell County., Water quality -- Oklahoma -- Haskell County., Coal mines and mining., Water quality.

الوصول للمادة أونلاين: https://purl.fdlp.gov/GPO/gpo142719Test
https://pubs.er.usgs.gov/publication/wri834202Test

المؤلفون: Attou, Samira, Mignot, Ludovic, Miklarz, Clément, Nicart, Florent

المساهمون: Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, Groupe de recherche rouennais en informatique fondamentale (GR2IF), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)

المصدر: ISSN: 0988-3754 ; EISSN: 1290-385X.

مصطلحات موضوعية: derivatives of (weighted) regular expressions, monads, automata constructions, haskell implementation, [MATH]Mathematics [math]

العلاقة: hal-04507158; https://hal.science/hal-04507158Test; https://hal.science/hal-04507158/documentTest; https://hal.science/hal-04507158/file/ita230006.pdfTest

الإتاحة: https://doi.org/10.1051/ita/2023014Test
https://hal.science/hal-04507158Test
https://hal.science/hal-04507158/documentTest
https://hal.science/hal-04507158/file/ita230006.pdfTest

المؤلفون: Marcher, Melvin V., author

مصطلحات موضوعية: Hydrology -- Oklahoma -- Haskell County., Coal mines and mining -- Environmental aspects -- Oklahoma -- Haskell County., Water quality -- Oklahoma -- Haskell County., Coal mines and mining -- Environmental aspects., Hydrology., Water quality.

الوصول للمادة أونلاين: https://purl.fdlp.gov/GPO/gpo133031Test
https://pubs.er.usgs.gov/publication/wri824099Test

المؤلفون: GILL, ANDY¹ andygill@ku.edu

المصدر: Communications of the ACM. Jun2014, Vol. 57 Issue 6, p42-49. 8p. 1 Color Photograph, 7 Diagrams, 1 Chart.

مصطلحات موضوعية: *PROGRAMMING languages, *COMPUTER input-output equipment, *DATABASES, HASKELL (Computer program language), DOMAIN-specific programming languages

Reviews & Products: MATLAB (Computer software)

المؤلفون: Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, 1986, Myreen, Magnus, 1983, Norrish, M., Åman Pohjola, Johannes, 1984, Zanetti, Riccardo

المصدر: Proceedings of the ACM on Programming Languages. 7

مصطلحات موضوعية: HOL4, interactive theorem proving, compiler verification, Haskell

وصف الملف: electronic

الوصول الحر: https://research.chalmers.se/publication/536364Test
https://research.chalmers.se/publication/536364/file/536364_Fulltext.pdfTest