Resultados para Functional programming languages Mostrando 1 - 44 Resultados de 44 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=Functional+programming+languages&type=TX&lng=es 44 0 50 Laboratory Automation in a Functional Programming Language. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/103918568 https://descubridor.academia.cl/EITRecord/103918568 Runciman, Colin Journal Article 2014-12-01 Runciman, Colin 0 Using Functions for Easier Programming: Functional programming languages automate many of the details underlying specific operations. Mon, 01 Jan 2018 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/129270736 https://descubridor.academia.cl/EITRecord/129270736 Savage, Neil Artículo 2018-05-01 Savage, Neil 0 The Curse of the Excluded Middle. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/96208164 https://descubridor.academia.cl/EITRecord/96208164 MEIJER, ERIK Artículo 2014-06-01 MEIJER, ERIK 0 Site responsivo de aptidão física relacionada com a saúde para adultos aparentemente saudáveis. Sat, 01 Jan 2022 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/160345448 https://descubridor.academia.cl/EITRecord/160345448 Schuindt da Silva, Vladimir pictorial research tables/charts Journal Article 2022 Schuindt da Silva, Vladimir 0 Reverse formalism 16. Wed, 01 Jan 2020 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/142061995 https://descubridor.academia.cl/EITRecord/142061995 Sanders, Sam Artículo 2020-02-01 Sanders, Sam 0 If structured propositions are logical procedures then how are procedures individuated? Tue, 01 Jan 2019 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/135662067 https://descubridor.academia.cl/EITRecord/135662067 Duží, Marie Artículo 2019-04-01 Duží, Marie 0 ÖĞRETMEN ADAYLARININ KODLAMA EĞİTİMİNE YÖNELİK GÖRÜŞLERİ: BİR DURUM ÇALIŞMASI. Mon, 01 Jan 2018 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/133005246 https://descubridor.academia.cl/EITRecord/133005246 GÖNCÜ, Aslı Artículo 2018 GÖNCÜ, Aslı 0 A PROOF-THEORETIC TREATMENT OF λ-REDUCTION WITH CUT-ELIMINATION: λ-CALCULUS AS A LOGIC PROGRAMMING LANGUAGE. Sat, 01 Jan 2011 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/63280098 https://descubridor.academia.cl/EITRecord/63280098 GABBAY, MICHAEL Artículo 2011-06-01 GABBAY, MICHAEL 0 Ur/Web: A Simple Model for Programming the Web. Fri, 01 Jan 2016 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/117173600 https://descubridor.academia.cl/EITRecord/117173600 Chlipala, Adam Artículo 2016-08-01 Chlipala, Adam 0 Domain-Specific Languages and Code Synthesis Using Haskell. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/96208158 https://descubridor.academia.cl/EITRecord/96208158 GILL, ANDY Artículo 2014-06-01 GILL, ANDY 0 Leaking Space. Tue, 01 Jan 2013 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/91736516 https://descubridor.academia.cl/EITRecord/91736516 MITCHELL, NEIL Artículo 2013-11-01 MITCHELL, NEIL 0 Ontology-Based Approach for Liver Cancer Diagnosis and Treatment. Tue, 01 Jan 2019 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/134830557 https://descubridor.academia.cl/EITRecord/134830557 Messaoudi, Rim diagnostic images pictorial research tables/charts Journal Article 2019-02-01 Messaoudi, Rim 0 Ice Morph: An Automated Morphological Analyzer and English-Language Lookup Tool for Old Icelandic. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/101709399 https://descubridor.academia.cl/EITRecord/101709399 Tangherlini, Timothy R. Artículo 2014 Tangherlini, Timothy R. 0 Implementation of a Big Data Accessing and Processing Platform for Medical Records in Cloud. Sun, 01 Jan 2017 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/125425158 https://descubridor.academia.cl/EITRecord/125425158 Yang, Chao-Tung pictorial research tables/charts Journal Article 2017-10-01 Yang, Chao-Tung 0 WHY TOPOLOGY IN THE MINIMALIST FOUNDATION MUST BE POINTFREE. Tue, 01 Jan 2013 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/88839410 https://descubridor.academia.cl/EITRecord/88839410 Maietti, Maria Emilia Artículo 2013-06-01 Maietti, Maria Emilia 0 Algorithms as Scores: Coding Live Music. Sat, 01 Jan 2011 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/67312240 https://descubridor.academia.cl/EITRecord/67312240 Artículo 2011-12-01 0 COMPUTERS. Tue, 01 Jan 2008 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/30454982 https://descubridor.academia.cl/EITRecord/30454982 PICCININI, GUALTIERO Artículo 2008-03-01 PICCININI, GUALTIERO 0 Tips on Career Advancement Include Finance, Enterprise Risk Management. Mon, 01 Jan 2018 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/131266500 https://descubridor.academia.cl/EITRecord/131266500 Journal Article 2018-04-01 0 The Semantic Representation of Natural Language. M. Levison, G. Lessard, C. Thomas, and M. Donald. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/96092902 https://descubridor.academia.cl/EITRecord/96092902 Unger, Christina Book Review 2014-06-01 Unger, Christina 0 Agent-based modeling of the immune system: NetLogo, a promising framework. Wed, 01 Jan 2014 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/103831511 https://descubridor.academia.cl/EITRecord/103831511 Chiacchio, Ferdinando Journal Article 2014 Chiacchio, Ferdinando 0 Programming Languages and Systems Thu, 01 Jan 2026 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4462051 https://descubridor.academia.cl/EITRecord/4462051 Robbert Krebbers Libro 2026 Robbert Krebbers 0 Beyond Horizons – The Rise of the Edge AI Processing Paradigm Thu, 01 Jan 2026 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4395416 https://descubridor.academia.cl/EITRecord/4395416 Ovidiu Vermesan Libro 2026 Ovidiu Vermesan 0 Formal Methods Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4018303 https://descubridor.academia.cl/EITRecord/4018303 André Platzer Libro 2025 André Platzer 0 Engines of Order : A Mechanology of Algorithmic Techniques Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4325186 https://descubridor.academia.cl/EITRecord/4325186 Bernhard Rieder Libro 2025 Bernhard Rieder 0 Sixty Years of Swedish Computational Lexicography Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4297847 https://descubridor.academia.cl/EITRecord/4297847 Dana Dannélls Libro 2025 Dana Dannélls 0 Tools and Algorithms for the Construction and Analysis of Systems Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4198031 https://descubridor.academia.cl/EITRecord/4198031 Arie Gurfinkel Libro 2025 Arie Gurfinkel 0 Automated Reasoning with Analytic Tableaux and Related Methods Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4320606 https://descubridor.academia.cl/EITRecord/4320606 Gian Luca Pozzato Libro 2025 Gian Luca Pozzato 0 Programming Languages and Systems Wed, 01 Jan 2025 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4198377 https://descubridor.academia.cl/EITRecord/4198377 Viktor Vafeiadis Libro 2025 Viktor Vafeiadis 0 Foundations of Software Science and Computation Structures Mon, 01 Jan 2024 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3872245 https://descubridor.academia.cl/EITRecord/3872245 Naoki Kobayashi Libro 2024 Naoki Kobayashi 0 Health Care in the Information Society : Volume 2 - From Anarchy of Transition to Programme for Reform Sun, 01 Jan 2023 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3736953 https://descubridor.academia.cl/EITRecord/3736953 David Ingram Libro 2023 David Ingram 0 Health Care in the Information Society : Volume 1 - From Adventure of Ideas to Anarchy of Transition Sun, 01 Jan 2023 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3736952 https://descubridor.academia.cl/EITRecord/3736952 David Ingram Libro 2023 David Ingram 0 International Handbook of Engineering Education Research Sun, 01 Jan 2023 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3613203 https://descubridor.academia.cl/EITRecord/3613203 Aditya Johri Libro 2023 Aditya Johri 0 Digital Humanities and Libraries and Archives in Religious Studies : An Introduction Sat, 01 Jan 2022 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3137332 https://descubridor.academia.cl/EITRecord/3137332 Clifford B. Anderson Libro 2022 Clifford B. Anderson 0 Protective Forests As Ecosystem-based Solution for Disaster Risk Reduction (Eco-DRR) Sat, 01 Jan 2022 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/4007519 https://descubridor.academia.cl/EITRecord/4007519 Michaela Teich Libro 2022 Michaela Teich 0 Academic Entrepreneurship in Theory and Practice Sat, 01 Jan 2022 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3453641 https://descubridor.academia.cl/EITRecord/3453641 Hanna Nowak-Mizgalska, Aleksandra Szulczewska-Remi (eds.) Libro 2022 Hanna Nowak-Mizgalska, Aleksandra Szulczewska-Remi (eds.) 0 Soft Computing : Techniques in Engineering Sciences Wed, 01 Jan 2020 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/2579115 https://descubridor.academia.cl/EITRecord/2579115 Mangey Ram Libro 2020 Mangey Ram 0 Principles of Security and Trust Tue, 01 Jan 2019 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3735129 https://descubridor.academia.cl/EITRecord/3735129 Flemming Nielson Libro 2019 Flemming Nielson 0 Tools and Algorithms for the Construction and Analysis of Systems Mon, 01 Jan 2018 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3735126 https://descubridor.academia.cl/EITRecord/3735126 Dirk Beyer Libro 2018 Dirk Beyer 0 The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? Mon, 01 Jan 2018 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3734887 https://descubridor.academia.cl/EITRecord/3734887 Olav Lysne Libro 2018 Olav Lysne 0 Behavioural Types : From Theory to Tools Sun, 01 Jan 2017 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/1800576 https://descubridor.academia.cl/EITRecord/1800576 Simon Gay Libro 2017 Simon Gay 0 CAA2015. Keep The Revolution Going : Proceedings of the 43rd Annual Conference on Computer Applications and Quantitative Methods in Archaeology Fri, 01 Jan 2016 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/3167465 https://descubridor.academia.cl/EITRecord/3167465 Stefano Campana Libro 2016 Stefano Campana 0 Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science Thu, 01 Jan 2015 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/1805184 https://descubridor.academia.cl/EITRecord/1805184 Andrzej Yatsko Libro 2015 Andrzej Yatsko 0 Mathematical Aspects of Logic Programming Semantics Sat, 01 Jan 2011 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/935008 https://descubridor.academia.cl/EITRecord/935008 Pascal Hitzler Libro 2011 Pascal Hitzler 0 Static Analysis at GitHub: An experience report. Sat, 01 Jan 2022 14:02:49 -0300 https://descubridor.academia.cl/EITRecord/154851364 https://descubridor.academia.cl/EITRecord/154851364 CLEM, TIMOTHY Artículo 2022-02-01 CLEM, TIMOTHY 0