Suggested Topics within your search.
Showing 101 - 120 results of 663 for search '"functional programming"', query time: 2.68s Refine Results
  1. 101
    Educational gems: an exploration and evaluation of a visual functional programming environment
    by Parkin, Adam Robert
    Published 2010
    “...) called the Gem Cutter which is based upon the functional programming paradigm. The contribution...”
    Get full text
  2. 102
    Parallelizing an interactive theorem prover : functional programming and proofs with ACL2
    by Rager, David Lawrence
    Published 2013
    Get full text
    Others
  3. 103
    Semantics for a higher-order functional programming language for quantum computation
    by Valiron, Benoit
    Published 2013
    Get full text
    Get full text
    Others
  4. 104
    A functional programming language with context free grammars as data types
    by Syrotiuk, Violet Rose
    Published 2010
    “... into an unambiguous context free grammar. These grammars are used to define data structures in a functional...”
    Get full text
  5. 105
    An integration of logic and functional programming paradigms: Type theory and meta-narrowing
    by Lin, Fuyau
    Published 1991
    Subjects: “...logic functional programming paradigms...”
    Get full text
  6. 106
    Force-Directed Graph Drawing and Aesthetics Measurement in a Non-Strict Pure Functional Programming Language
    by Gaconnet, Christopher James
    Published 2009
    Subjects: “...Functional programming (Computer science)...”
    Get full text
    Others
  7. 107
    Compile-time optimisation of store usage in lazy functional programs
    by Hamilton, Geoffrey William
    Published 1993
    Subjects: “...Functional programming (Computer science) : Information storage and retrieval systems...”
    Get full text
  8. 108
    Room Function Program and Technical Description : Interaction with BIM Models
    by Fard, Ali Ataei
    Published 2016
    “..., the main focus of this thesis is on creating interactive tools for Room Function Program (RFP...”
    Get full text
    Others
  9. 109
    A Semantic Framework to Debug Parallel Lazy Functional Languages
    Subjects: “...functional programming...”
    Get full text
    Article
  10. 110
    Exploiting data parallelism in artificial neural networks with Haskell
    by Heartsfield, Gregory Lynn
    Published 2010
    Subjects: “...Functional programming...”
    Get full text
    Others
  11. 111
    Automatic complexity analysis of logic programs.
    by Lin, Nai-Wei.
    Published 1993
    Subjects: “...Functional programming (Computer science)...”
    Get full text
  12. 112
    Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
    by Cezar Ionescu, Patrik Jansson
    Published 2016-11-01
    “... the students to approach mathematical domains from a functional programming perspective: to identify the main...”
    Get full text
    Article
  13. 113
    HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs
    by Huffman, Brian Charles
    Published 2011
    Subjects: “...Functional programming languages...”
    Get full text
    Get full text
    Others
  14. 114
    Promoting Social Competence in Preschool with an Executive Functions Program Conducted by Teachers
    Get full text
    Article
  15. 115
    The use of proof plans for transformation of functional programs by changes of data type
    by Richardson, J. D. C.
    Published 1996
    Get full text
  16. 116
    The use of proofs-as-programs to build an analogy-based functional program editor
    by Whittle, J. N. D.
    Published 1999
    “... this correspondence, a functional program may be represented directly as the proof of a specification and so...”
    Get full text
  17. 117
    Static analysis of functional programs with an application to the frame problem in deductive verification
    by Andreescu, Oana Fabiana
    Published 2017
    Get full text
  18. 118
    Compiling Irregular Software to Specialized Hardware
    by Townsend, Richard Morse
    Published 2019
    Subjects: “...Functional programming languages...”
    Get full text
  19. 119
    Categories for (Big) Data models and optimization
    by Laurent Thiry, Heng Zhao, Michel Hassenforder
    Published 2018-07-01
    Subjects: “...Functional programming...”
    Get full text
    Article
  20. 120
    A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++
    Subjects: “...functional programming...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search