Resultados de búsqueda - "Functional programming languages"

  • Mostrando 1 - 17 Resultados de 17
Limitar resultados
  1. Imagen de Portada

    Using Functions for Easier Programming: Functional programming languages automate many of the details underlying specific operations. por Savage, Neil

    Publicado en Communications of the ACM (May2018)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    The Curse of the Excluded Middle. por MEIJER, ERIK

    Publicado en Communications of the ACM (Jun2014)

    Ver este registro en EBSCOhost
    Artículo
  3. Imagen de Portada

    Leaking Space. por MITCHELL, NEIL

    Publicado en Communications of the ACM (Nov2013)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    WHY TOPOLOGY IN THE MINIMALIST FOUNDATION MUST BE POINTFREE. por Maietti, Maria Emilia, Sambin, Giovanni

    Publicado en Logic & Logical Philosophy (Jun2013)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    The Semantic Representation of Natural Language. M. Levison, G. Lessard, C. Thomas, and M. Donald. por Unger, Christina

    Publicado en Literary & Linguistic Computing (Jun2014)

    Ver este registro en EBSCOhost
    Book Review
  6. Imagen de Portada

    Programming Languages and Systems por Robbert Krebbers

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  7. Imagen de Portada

    Beyond Horizons – The Rise of the Edge AI Processing Paradigm por Ovidiu Vermesan, Marcello Coppola, Fabian Chersi

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  8. Imagen de Portada

    Formal Methods por André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  9. Imagen de Portada

    Automated Reasoning with Analytic Tableaux and Related Methods por Gian Luca Pozzato, Tarmo Uustalu

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  10. Imagen de Portada

    Foundations of Software Science and Computation Structures por Naoki Kobayashi, James Worrell

    Publicado 2024
    Ver este registro en EBSCOhost
    Libro
  11. Imagen de Portada

    Health Care in the Information Society : Volume 2 - From Anarchy of Transition to Programme for Reform por David Ingram

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  12. Imagen de Portada

    Principles of Security and Trust por Flemming Nielson, David Sands

    Publicado 2019
    Ver este registro en EBSCOhost
    Libro
  13. Imagen de Portada

    The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? por Olav Lysne

    Publicado 2018
    Ver este registro en EBSCOhost
    Libro
  14. Imagen de Portada

    Behavioural Types : From Theory to Tools por Simon Gay, António Ravara

    Publicado 2017
    Ver este registro en EBSCOhost
    Libro
  15. Imagen de Portada

    CAA2015. Keep The Revolution Going : Proceedings of the 43rd Annual Conference on Computer Applications and Quantitative Methods in Archaeology por Stefano Campana, Roberto Scopigno, Gabriella Carpentiero

    Publicado 2016
    Ver este registro en EBSCOhost
    Libro
  16. Imagen de Portada

    Insight Into Theoretical and Applied Informatics : Introduction to Information Technologies and Computer Science por Andrzej Yatsko, Walery Suslow

    Publicado 2015
    Ver este registro en EBSCOhost
    Libro
  17. Imagen de Portada

    Mathematical Aspects of Logic Programming Semantics por Pascal Hitzler, Anthony Seda

    Publicado 2011
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: