Search Results - "functional programming"

  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    Functional programming and non-distributivity in pathfinding problems

    Functional programming and non-distributivity in pathfinding problems by Saenz Carrasco, Juan Carlos

    Published 2016
    Subjects: “…Functional programming…”
    Get full text
  2. 2
    A functional specification of effects

    A functional specification of effects by Swierstra, Wouter

    Published 2009
    Subjects: “…functional programming…”
    Get full text
  3. 3
    Bridging the GUI gap with reactive values and relations

    Bridging the GUI gap with reactive values and relations by Perez, Ivan, Nilsson, Henrik

    Published 2015
    Subjects: Get full text
  4. 4
    Documents as functions

    Documents as functions by Lumley, John William

    Published 2012
    Subjects: “…Document construction; XML; SVG; XSLT; functional programming…”
    Get full text
  5. 5
    The productivity of polymorphic stream equations and the composition of circular traversals

    The productivity of polymorphic stream equations and the composition of circular traversals by Balestrieri, Florent

    Published 2015
    Subjects: Get full text
  6. 6
    Monads need not be endofunctors

    Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2015
    Subjects: Get full text
  7. 7
    Narrowing in on property-based testing

    Narrowing in on property-based testing by Fowler, Jonathan

    Published 2019
    Subjects: “…Functional Programming…”
    Get full text
  8. 8
    Extensible and robust functional reactive programming

    Extensible and robust functional reactive programming by Perez Dominguez, Ivan

    Published 2018
    Subjects: Get full text
  9. 9
    Agent-Based Logics in Dependent Type Theory

    Agent-Based Logics in Dependent Type Theory by Baston, Colm

    Published 2025
    Subjects: “…functional programming languages…”
    Get full text
  10. 10
    The modular compilation of effects

    The modular compilation of effects by Day, Laurence E.

    Published 2017
    Subjects: Get full text
  11. 11
    Supermonads: one notion to bind them all

    Supermonads: one notion to bind them all by Bracker, Jan, Nilsson, Henrik

    Published 2016
    Subjects: “…Functional programming…”
    Get full text
  12. 12
    Efficiency three ways: tested, verified, and formalised

    Efficiency three ways: tested, verified, and formalised by Handley, Martin AT

    Published 2020
    Subjects: Get full text
  13. 13
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Subjects: Get full text
  14. 14
    The continuity of monadic stream functions

    The continuity of monadic stream functions by Capretta, Venanzio, Fowler, Jonathan

    Published 2017
    Subjects: Get full text
  15. 15
    Investigating the use of pure functional programming for agent-based simulation

    Investigating the use of pure functional programming for agent-based simulation by Thaler, Jonathan

    Published 2020
    Subjects: Get full text
  16. 16
    Distributive laws in programming structures

    Distributive laws in programming structures by Rypacek, Ondrej

    Published 2010
    Subjects: “…functional programming…”
    Get full text
  17. 17
    Types with extra structure: predicates, equations, composition

    Types with extra structure: predicates, equations, composition by Hewer, Brandon

    Published 2024
    Subjects: Get full text
  18. 18
    A framework for relating, implementing and verifying argumentation models and their translations

    A framework for relating, implementing and verifying argumentation models and their translations by van Gijzel, Bas

    Published 2016
    Subjects: Get full text
  19. 19
    A functional quantum programming language

    A functional quantum programming language by Grattage, Jonathan James

    Published 2006
    Subjects: Get full text

Search Tools: