Sökresultat - "Functional programming languages."

Förfina resultatet
  1. Omslagsbild

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

    I publikationen ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  2. Omslagsbild

    Coverage-Based Fault Localization in Haskell

    I publikationen Journal of Computer Science and Technology (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  3. Omslagsbild

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

    I publikationen Journal of Functional Programming (Jan 2025)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  4. Omslagsbild

    ADprep – A Fully‐Automated Software for Large‐scale Multimodal MRI and PET Imaging Workflows av Dehsarvi, Amir

    I publikationen Alzheimer's & Dementia (Dec 1, 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  5. Omslagsbild

    AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model av Zhang, Zhenhua

    I publikationen Symmetry (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  6. Omslagsbild

    A Formal Semantics of Core Erlang av Abdelrahman Mohamedi, Ibrahim

    I publikationen PQDT - Global (2025)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  7. Omslagsbild

    ADprep – A Fully‐Automated Software for Large‐scale Multimodal MRI and PET Imaging Workflows av Dehsarvi, Amir

    I publikationen Alzheimer's & Dementia (Dec 1, 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  8. Omslagsbild

    Theory Exploration Automated Conjecturing for Programs and Proofs av Einarsdóttir, Sólrún Halla

    I publikationen PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  9. Omslagsbild

    Naturalistic fMRI and MEG recordings during viewing of a reality TV show av Li, Jixing

    I publikationen Scientific Data (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  10. Omslagsbild

    Refactoring Loops in the Era of LLMs: A Comprehensive Study av Midolo Alessandro

    I publikationen Future Internet (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  11. Omslagsbild

    Cesno: The Initial Design of a New Programming Language av Vanilla, Ozelot

    I publikationen arXiv.org (Sep 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  12. Omslagsbild

    Completing the Functional Approach in Object-Oriented Languages av Pluemicke, Martin

    I publikationen arXiv.org (Dec 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  13. Omslagsbild

    The Fearless Journey [Draft] av Webster, Nick

    I publikationen arXiv.org (May 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  14. Omslagsbild

    Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study av Tim van Dam

    I publikationen arXiv.org (Mar 22, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  15. Omslagsbild

    Modernizing SMT-Based Type Error Localization av Kopinsky, Max

    I publikationen arXiv.org (Aug 16, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  16. Omslagsbild

    Debugging Functional Programs by Interpretation av Whitington, John

    I publikationen arXiv.org (Nov 1, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  17. Omslagsbild

    A Brief Overview of the Pawns Programming Language av Naish, Lee

    I publikationen arXiv.org (Sep 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  18. Omslagsbild

    Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices av Binder, David

    I publikationen arXiv.org (Mar 11, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  19. Omslagsbild

    Clean for Haskell Programmers av Lubbers, Mart

    I publikationen arXiv.org (Oct 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  20. Omslagsbild

    Automated Expected Amortised Cost Analysis of Probabilistic Data Structures av Lorenz Leutgeb

    I publikationen arXiv.org (Jun 3, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:

Sökverktyg: