Sökresultat - "Functional programming (Computer science)"

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

    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:
  3. 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:
  4. Omslagsbild

    Runtime Verification of Real Time Properties and Bounded Model Checking In the Thorium Reactive Programming Language av Baldor, Kevin

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

    Density Functional Theory Transformed Into a One-Electron Reduced Density Matrix Functional Theory for the Description of Static Correlation av Gibney, Daniel Patrick

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

    Use Of Python In Teaching Discrete Mathematics av Farahani, Ali

    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  7. Omslagsbild

    A Language-Based Approach to Programming with Serialized Data av Vollmer, Michael

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

    JavaGrinder: A Web-Based Platform for Teaching Early Computing Skills av Palmer, James Dean

    Citation/Abstract
    Full text outside of ProQuest
    Lägg till i favoriter
    Sparad:
  9. Omslagsbild

    Teaching Algebra through Functional Programming: An Analysis of the Bootstrap Curriculum av Lee, Robert

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

    Program Structure Charts for Applicative Languages av Pagan, F G

    I publikationen IEEE Transactions on Software Engineering (Apr 1987)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  11. Omslagsbild

    TimeFlies: Push-Pull Signal-Function Functional Reactive Programming av Amsden, Edward

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

    Effective scheduling techniques for high-level parallel programming languages av Rainey, Michael Alan

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

    Interacting with functional languages av Sinclair, Duncan Cameron

    I publikationen PQDT - UK & Ireland (1997)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  14. Omslagsbild

    Preface for the Special Issue on AI-Supported Education in Computer Science av Barnes, Tiffany

    Citation/Abstract
    Full Text
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  15. Omslagsbild

    Program-Based Analysis for Quantitative Properties av Qu, Weihao

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

    Прилог рјешењу ефикасне верификације функционалних захтјева помоћу програмских језика av Popić, Srđan

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

    The structure and interpretation of the computer science curriculum av FELLEISEN, MATTHIAS

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

    Functional reactive programming for games av Salu, Peter

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

    Containers, monads and induction recursion av GHANI, NEIL

    I publikationen Mathematical Structures in Computer Science (Jan 2016)
    Citation/Abstract
    Full Text - PDF
    Lägg till i favoriter
    Sparad:
  20. Omslagsbild

    Practical programming with total functions av Voelker, Karl

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

Sökverktyg: