Suggested Topics within your search.
Showing 301 - 320 results of 663 for search '"functional programming"', query time: 2.37s Refine Results
  1. 301
    Simulated Overloading using Generic Functions in Scheme
    by Cox, Anthony
    Published 2006
    “...This thesis investigates extending the dynamically-typed, functional programming language Scheme...”
    Get full text
  2. 302
    DEVELOPMENT OF A PRO/TOOLKIT APPLICATION USING THE USER INTERFACE DIALOG FOR PRESSING MOLD PART DESIGN
    by Shih-Feng Peng, 彭士峰
    Published 2015
    “...-in functional programming of Pro/TOOLKIT in Visual C++ programming environment to build a dialogue window where...”
    Get full text
    Others
  3. 303
    FuncADL: Functional Analysis Description Language
    by Proffitt Mason, Watts Gordon
    Published 2021-01-01
    “... language (ADL) inspired by functional programming, FuncADL, was developed using Python as a host language...”
    Get full text
    Article
  4. 304
    Gaussian Deconvolution and MapReduce Approach for Chipseq Analysis
    Get full text
  5. 305
    Formalizing the Confluence of Orthogonal Rewriting Systems
    “... to the specification of recursive functions that is naturally applied in functional programming and specification...”
    Get full text
    Article
  6. 306
    Computer Aided Verification of Relational Models by Strategic Rewriting
    “..., such as database design, state-based modeling and functional programming. Remarkably, static checking support...”
    Get full text
    Article
  7. 307
    Support of Decision in Buildings Refurbishment with a Change of Utility
    “... proposes a methodology of functional and functional programming in the pre-investment phase of project...”
    Get full text
    Article
  8. 308
    Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
    by José Meseguer, Musab AlTurki
    Published 2010-09-01
    “... semantics developed by the authors. Orc also has a fully fledged implementation in Java with functional...”
    Get full text
    Article
  9. 309
    Modèles de programmation et supports exécutifs pour architectures hétérogènes
    by Henry, Sylvain
    Published 2013
    “... based on parallel functional programming....”
    Get full text
  10. 310
    Improving implicit parallelism
    by Calderon, Jose Manuel
    Published 2015
    “...We propose a new technique for exploiting the inherent parallelism in lazy functional programs...”
    Get full text
  11. 311
    A Real-Time Reactive Platform for Data Integration and Event Stream Processing
    by Tamborrino, Alexandre
    Published 2014
    “... with automatic back-pressure. Moreover, the platform uses functional programming abstractions for simple...”
    Get full text
    Others
  12. 312
    Data-driven refactorings for Haskell
    by Adams, Stephen
    Published 2017
    “... strongly typed, pure functional programming language. Haskell's rich type system allows for complex...”
    Get full text
  13. 313
    Computable decision making on the reals and other spaces via partiality and nondeterminism
    Get fulltext
    Article
  14. 314
    Formally certified satisfiability solving
    by Oe, Duck Ki
    Published 2012
    “... statically. Guru is a pure functional programming language with support for dependent types and theorem...”
    Get full text
    Get full text
    Others
  15. 315
    Formal verification of probabilistic algorithms
    by Hurd, J.
    Published 2001
    “...-transformer monad familiar from functional programming, where the random bit generator is passed around...”
    Get full text
  16. 316
    Vizualizing of semi-regular polyhedrons in AutoCAD environment
    by Viktoryna A. Romanova
    Published 2019-12-01
    “... is provided by user-defined functions developed in the functional programming language AutoLISP. User-defined...”
    Get full text
    Article
  17. 317
    Web-Based Questionnaires for Type Theory Course
    “... in the principles of type systems and languages of functional programming paradigm. ...”
    Get full text
    Article
  18. 318
    BatchJobs and BatchExperiments: Abstraction Mechanisms for Using R in Batch Environments
    “... around cluster versions of the well-known higher order functions Map, Reduce and Filter from functional...”
    Get full text
    Article
  19. 319
    Normalizing Object-oriented Class Styles in JavaScript
    by Gama, WIDD
    Published 2013
    “...-paradigm programming language that supports object-oriented, imperative, and functional programming styles...”
    Get full text
  20. 320
    Type inference, Haskell and dependent types
    by Gundry, Adam Michael
    Published 2013
    “... that combine dependent type theory and functional programming. Languages such as modern Haskell have very...”
    Get full text
Search Tools: Get RSS Feed — Email this Search