Resultados para "Functional programming languages" Mostrando 1 - 17 Resultados de 17 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.academia.cl/EIT/Search?limit=50&lookfor=%22Functional+programming+languages%22&type=TX&lng=es 17 0 50 Using Functions for Easier Programming: Functional programming languages automate many of the details underlying specific operations. Mon, 01 Jan 2018 07:14:17 -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 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/96208164 https://descubridor.academia.cl/EITRecord/96208164 MEIJER, ERIK Artículo 2014-06-01 MEIJER, ERIK 0 Leaking Space. Tue, 01 Jan 2013 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/91736516 https://descubridor.academia.cl/EITRecord/91736516 MITCHELL, NEIL Artículo 2013-11-01 MITCHELL, NEIL 0 WHY TOPOLOGY IN THE MINIMALIST FOUNDATION MUST BE POINTFREE. Tue, 01 Jan 2013 07:14:17 -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 The Semantic Representation of Natural Language. M. Levison, G. Lessard, C. Thomas, and M. Donald. Wed, 01 Jan 2014 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/96092902 https://descubridor.academia.cl/EITRecord/96092902 Unger, Christina Book Review 2014-06-01 Unger, Christina 0 Programming Languages and Systems Thu, 01 Jan 2026 07:14:17 -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 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/4395416 https://descubridor.academia.cl/EITRecord/4395416 Ovidiu Vermesan Libro 2026 Ovidiu Vermesan 0 Automated Reasoning with Analytic Tableaux and Related Methods Wed, 01 Jan 2025 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/4320606 https://descubridor.academia.cl/EITRecord/4320606 Gian Luca Pozzato Libro 2025 Gian Luca Pozzato 0 Formal Methods Wed, 01 Jan 2025 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/4018303 https://descubridor.academia.cl/EITRecord/4018303 André Platzer Libro 2025 André Platzer 0 Foundations of Software Science and Computation Structures Mon, 01 Jan 2024 07:14:17 -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 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/3736953 https://descubridor.academia.cl/EITRecord/3736953 David Ingram Libro 2023 David Ingram 0 Principles of Security and Trust Tue, 01 Jan 2019 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/3735129 https://descubridor.academia.cl/EITRecord/3735129 Flemming Nielson Libro 2019 Flemming Nielson 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 07:14:17 -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 07:14:17 -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 07:14:17 -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 07:14:17 -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 07:14:17 -0300 https://descubridor.academia.cl/EITRecord/935008 https://descubridor.academia.cl/EITRecord/935008 Pascal Hitzler Libro 2011 Pascal Hitzler 0