Showing 21 - 40 results of 337 for search '"Functional programming"', query time: 0.20s Refine Results
  1. 21
    Finding Celebrities: A Lesson in Functional Programming

    Finding Celebrities: A Lesson in Functional Programming by Bird, R, Curtis, S

    Published 2006
    Journal article
  2. 22
    A New Approach to Generic Functional Programming

    A New Approach to Generic Functional Programming by Hinze, R

    Published 1999
    Report
  3. 23
    A new approach to generic functional programming

    A new approach to generic functional programming by Hinze, R

    Published 2000
    Conference item
  4. 24
    CSI 502 - FUNCTIONAL PROGRAMMING - APR. 1994

    CSI 502 - FUNCTIONAL PROGRAMMING - APR. 1994 by PPSKOM, Pusat Pengajian Sains Komputer

    Published 1994
    Get full text
    Teaching Resource
  5. 25
    CSI 502 - FUNCTIONAL PROGRAMMING APRIL 1993

    CSI 502 - FUNCTIONAL PROGRAMMING APRIL 1993 by PPSKOM, Pusat Pengajian Sains Komputer

    Published 1993
    Get full text
    Teaching Resource
  6. 26
    Foundations of F# [electronic resource] /

    Foundations of F# [electronic resource] / by 305372 Pickering, Robert, SpringerLink (Online service)

    Published 2007
    Subjects: “…Functional programming languages…”
    Get full text
  7. 27
    Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. /

    Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Pape... by International Symposium on Implementation and Application of Functional Languages (18th : 2006 : Budapest, Hungary), Horvoth, Zolton, Butterfield, Andrew, Zsok, Viktoria, SpringerLink (Online service)

    Published 2007
    Subjects: “…Functional programming languages…”
    Get full text
  8. 28
    On probabilistic termination of functional programs with continuous distributions

    On probabilistic termination of functional programs with continuous distributions by Beutner, R, Ong, CL

    Published 2021
    Conference item
  9. 29
    Infinite Lists for Specifying Functional Programs in Z

    Infinite Lists for Specifying Functional Programs in Z by Martin, A

    Published 1996
    Conference item
  10. 30
    Generating threads for non-strict functional programming languages

    Generating threads for non-strict functional programming languages by Toutet, Christiana Virginia, 1974-

    Published 2009
    Get full text
    Thesis
  11. 31
    Straight to the Heart of Computer Science via Functional Programming

    Straight to the Heart of Computer Science via Functional Programming by Giegerich, R, Hinze, R, Kurtz, S

    Published 1999
    Conference item
  12. 32
    Functional Programming Using C++ Templates (Part 1)

    Functional Programming Using C++ Templates (Part 1) by Golodetz, S

    Published 2007
    Journal article
  13. 33
    Functional Programming Using C++ Templates (Part 2)

    Functional Programming Using C++ Templates (Part 2) by Golodetz, S

    Published 2007
    Journal article
  14. 34
    Deriving Probability Density Functions from Probabilistic Functional Programs

    Deriving Probability Density Functions from Probabilistic Functional Programs by Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio Russo

    Published 2017-07-01
    “…However, the necessary framework for compiling probabilistic functional programs to density functions has only recently been developed. …”
    Get full text
    Article
  15. 35
    Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

    Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs by Gibbons, J

    Published 1999
    Record
  16. 36
    Model checking liveness properties of higher-order functional programs

    Model checking liveness properties of higher-order functional programs by Lester, MM, Neatherway, RP, Ong, C-HL, Ramsay, S

    Published 2011
    “…Recent advances in the model checking of recursion schemes have opened the prospect of a model checking approach to the verification of higher-order functional programs. We formulate the Resource Usage Verification Problem in a general (liveness) setting, where good behaviours are specified by alternating parity (word) automata; and we give a sound and complete decision procedure by reduction to the problem of model checking higher-order recursion schemes (HORS) against alternating parity tree automata. …”
    Report
  17. 37
    On the non-compositionality of monads via distributive laws

    On the non-compositionality of monads via distributive laws by Zwart, M

    Published 2020
    Subjects: “…Semantics of functional programming…”
    Thesis
  18. 38
    Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 /

    Fuji International Workshop on Functional and Logic Programming, Susono, Japan, July 17-19, 1995 / by Fuji International Workshop on Functional and Logic Programming (1995 : Susono, Japan), Masato Takeichi, Tetsuo, Ida

    Published 1995
    Subjects: “…Functional programming (Computer science)…”
  19. 39
    Expert F# 2.0 /

    Expert F# 2.0 / by 517308 Syme, Don, Granicz, Adam, Cisternino, Antonio

    Published c201
    Subjects: “…Functional programming languages…”
  20. 40
    A Semantic Framework to Debug Parallel Lazy Functional Languages

    A Semantic Framework to Debug Parallel Lazy Functional Languages by Alberto de la Encina, Mercedes Hidalgo-Herrero, Luis Llana, Fernando Rubio

    Published 2020-05-01
    Subjects: “…functional programming…”
    Get full text
    Article

Search Tools: