Resultados de procura - "Journal of Functional Programming"

Limitar resultados
  1. Imaxe de Portada

    From natural semantics to C: A formal derivation of two STG machines por DE LA ENCINA, ALBERTO

    Publicado en Journal of Functional Programming (Jan 2009)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  2. Imaxe de Portada

    A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design, (Leanpub, 2020 ). por Sperber, Michael

    Publicado en Journal of Functional Programming (May 2024)
    Citation
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  3. Imaxe de Portada

    TPLP pearls submission guidelines por NAISH, LEE

    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  4. Imaxe de Portada

    Preface for special section from FLOPS 2014 por CODISH, MICHAEL

    Publicado en Journal of Functional Programming (2016)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  5. Imaxe de Portada

    Solvability and Algorithms for Functional Equations Originating from Dynamic Programming por Jiang, Guojing

    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  6. Imaxe de Portada

    Abstraction Transition in Computer Science Education: A Framework for Functions First Pedagogy and Deep Computational Understanding in CS0 por Ehret, Thomas H.

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  7. Imaxe de Portada

    Editorial for the Special Issue on Parallel and Concurrent Functional Programming por Keller, Gabriele

    Publicado en Journal of Functional Programming (2018)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  8. Imaxe de Portada

    Coverage-Based Fault Localization in Haskell

    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  9. Imaxe de Portada

    A type- and scope-safe universe of syntaxes with binding: their semantics and proofs por Allais, Guillaume

    Publicado en Journal of Functional Programming (2021)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  10. Imaxe de Portada

    A bi-level math-heuristic algorithm for integrated optimization of task scheduling and storage location assignment in automated storage and retrieval systems por Xie, Weidong

    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  11. Imaxe de Portada

    A practical formalization of monadic equational reasoning in dependent-type theory por Affeldt, Reynald

    Publicado en Journal of Functional Programming (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  12. Imaxe de Portada

    Integrating Topology and Function for Protein Association Network Clustering: A Mixed Integer Linear Programming Based Approach por Rahman, M Mishkatur

    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  13. Imaxe de Portada

    Generation et traitement de contraintes relationnelles pour la modelisation des acides nucleiques por Turcotte, Marcel

    Publicado en ProQuest Dissertations and Theses (1995)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  14. Imaxe de Portada

    Leveraging Edge Computing Resources for Ultra-Low Latency Services por Amer, Ibrahim M.

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  15. Imaxe de Portada

    A Qualitative Exploration of Programming Instruction for Alternative Endpoints in Post-Secondary Computing Education por Nelson-Fromm, Tamara

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  16. Imaxe de Portada

    Survey of common deep brain stimulation programming practices by experts in Parkinson’s Disease

    Publicado en Journal of Neurology (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  17. Imaxe de Portada

    Properties of Solutions for Certain Functional Equations Arising in Dynamic Programming por Liu, Zeqing

    Publicado en Journal of Global Optimization (Feb 2006)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  18. Imaxe de Portada

    Statistical Designs for Learning User Preference and Experience por Fisher, William S.

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  19. Imaxe de Portada

    Fostering programming skill and critical thinking through AI-assisted PBL integration por Omeh, Christian Basil

    Citation/Abstract
    Full Text
    Full Text - PDF
    Engadir a favoritos
    Gardado en:
  20. Imaxe de Portada

    Principled Parallel Composition and the Separation of Concerns por Rioux, Nicholas

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Engadir a favoritos
    Gardado en:

Ferramentas de procura: