Works matching DE "FUNCTIONAL programming (Computer science)"
Results: 200
AI and the Origins of the Functional Programming Language Style.
- Published in:
- Minds & Machines, 2017, v. 27, n. 3, p. 449, doi. 10.1007/s11023-017-9432-7
- By:
- Publication type:
- Article
Distributed Caml Light.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 5, p. 564
- By:
- Publication type:
- Article
Formal Specification and Verification of Processor Micro-Architectures Functional Approach.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 3, p. 245
- By:
- Publication type:
- Article
A Movable Architecture for Robust Spatial Computing.
- Published in:
- Computer Journal, 2013, v. 56, n. 12, p. 1450, doi. 10.1093/comjnl/bxs129
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- 1998
- By:
- Publication type:
- Book Review
Lazy Functional Programs in a Concurrent Environment.
- Published in:
- Computer Journal, 1997, v. 40, n. 9, p. 572, doi. 10.1093/comjnl/40.9.572
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- 1997
- By:
- Publication type:
- Book Review
Review: Book Review.
- Published in:
- 1996
- By:
- Publication type:
- Book Review
Review: Book Review.
- Published in:
- 1996
- By:
- Publication type:
- Book Review
Review: Book Review.
- Published in:
- 1996
- By:
- Publication type:
- Book Review
A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types.
- Published in:
- Nature Communications, 2025, v. 16, n. 1, p. 1, doi. 10.1038/s41467-024-55059-3
- By:
- Publication type:
- Article
Modular Polymorphic Defunctionalization.
- Published in:
- Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1417, doi. 10.2298/CSIS130923030F
- By:
- Publication type:
- Article
Formal Verification of Signature-monitoring Mechanisms by Model Checking.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1431, doi. 10.2298/CSIS120218056T
- By:
- Publication type:
- Article
Functional Data Science for Secondary-School Students.
- Published in:
- Informatics in Education, 2024, v. 23, n. 4, p. 723, doi. 10.15388/infedu.2024.24
- By:
- Publication type:
- Article
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.
- Published in:
- International Journal of Reconfigurable Computing, 2018, p. 1, doi. 10.1155/2018/3276159
- By:
- Publication type:
- Article
Extending the "Open-Closed Principle" to Automated Algorithm Configuration.
- Published in:
- Evolutionary Computation, 2019, v. 27, n. 1, p. 173, doi. 10.1162/evco_a_00245
- By:
- Publication type:
- Article
Optimality Conditions for Multi-Objective Linear Fractional Programming Problem with Homogeneous Constraints.
- Published in:
- IUP Journal of Computational Mathematics, 2011, v. 4, n. 3, p. 7
- By:
- Publication type:
- Article
REDUCTION OF REGRESSION TESTS FOR ERLANG BASED ON IMPACT ANALYSIS.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2014, v. 59, p. 31
- By:
- Publication type:
- Article
Collaborative Mappers based on Coevolutionary Optimization Technique in MapReduce.
- Published in:
- International Journal of Information & Communication Technology Research (2251-6107), 2022, v. 14, n. 4, p. 28, doi. 10.52547/itrc.14.4.28
- By:
- Publication type:
- Article
Constructive forcing, CPS translations and witness extraction in Interactive realizability.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 993, doi. 10.1017/S0960129515000468
- By:
- Publication type:
- Article
Vulnerability modelling with functional programming and dependent types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 114, doi. 10.1017/S0960129514000139
- By:
- Publication type:
- Article
Containers, monads and induction recursion.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 89, doi. 10.1017/S0960129514000127
- By:
- Publication type:
- Article
On quasi-interpretations, blind abstractions and implicit complexity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 549, doi. 10.1017/S0960129511000685
- By:
- Publication type:
- Article
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 723, doi. 10.1017/S0960129510000186
- Publication type:
- Article
Using functional programming to recognize named structure in an optimization problem: Application to pooling.
- Published in:
- AIChE Journal, 2016, v. 62, n. 9, p. 3085, doi. 10.1002/aic.15308
- By:
- Publication type:
- Article
A Taste of Functional Programming -- 2.
- Published in:
- Resonance: Journal of Science Education, 2007, v. 12, n. 9, p. 40, doi. 10.1007/s12045-007-0092-4
- By:
- Publication type:
- Article
A Taste of Functional Programming -- 1.
- Published in:
- Resonance: Journal of Science Education, 2007, v. 12, n. 8, p. 27, doi. 10.1007/s12045-007-0081-7
- By:
- Publication type:
- Article
PARALLEL PATTERNS FOR AGENT-BASED EVOLUTIONARY COMPUTING.
- Published in:
- Computer Science, 2016, v. 17, n. 1, p. 83, doi. 10.7494/csci.2016.17.1.83
- By:
- Publication type:
- Article
Relaciones de aprendizaje significativo entre dos paradigmas de programación a partir de dos lenguajes de programación.
- Published in:
- Tecnura, 2014, v. 18, n. 41, p. 91, doi. 10.14483/udistrital.jour.tecnura.2014.3.a07
- By:
- Publication type:
- Article
A Comparison of Big Data Frameworks on a Layered Dataflow Model.
- Published in:
- Parallel Processing Letters, 2017, v. 27, n. 1, p. -1, doi. 10.1142/S0129626417400035
- By:
- Publication type:
- Article
Using Metaprogramming to Parallelize Functional Specifications.
- Published in:
- Parallel Processing Letters, 2002, v. 12, n. 2, p. 193, doi. 10.1142/S0129626402000926
- By:
- Publication type:
- Article
An Operational Semantics for the Parallel Language Eden.
- Published in:
- Parallel Processing Letters, 2002, v. 12, n. 2, p. 211, doi. 10.1142/S0129626402000938
- By:
- Publication type:
- Article
Costing Nested Array Codes.
- Published in:
- Parallel Processing Letters, 2002, v. 12, n. 2, p. 249, doi. 10.1142/S0129626402000951
- By:
- Publication type:
- Article
Lifting Sequential Functions to Parallel Skeletons.
- Published in:
- Parallel Processing Letters, 2002, v. 12, n. 2, p. 267, doi. 10.1142/S0129626402000963
- By:
- Publication type:
- Article
HDC: A Higher-Order Language for Divide-and-Conquer.
- Published in:
- Parallel Processing Letters, 2000, v. 10, n. 2/3, p. 239, doi. 10.1142/S0129626400000238
- By:
- Publication type:
- Article
An Extension of an Automated Termination Method of Recursive Functions.
- Published in:
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 361, doi. 10.1142/S0129054102001163
- By:
- Publication type:
- Article
Software Reliability Qualification Model.
- Published in:
- International Journal of Performability Engineering, 2012, v. 8, n. 4, p. 437, doi. 10.23940/ijpe.12.4.p437.mag
- By:
- Publication type:
- Article
SPECIAL SECTION ON FUNCTIONAL PROGRAMMING PARADIGM AND ITS APPLICATIONS.
- Published in:
- Computing & Informatics, 2016, v. 35, n. 4, p. 761
- By:
- Publication type:
- Article
DEFINING C PREPROCESSOR MACRO LIBRARIES WITH FUNCTIONAL PROGRAMS.
- Published in:
- Computing & Informatics, 2016, v. 35, n. 4, p. 819
- By:
- Publication type:
- Article
Pattern-based calculi with finitary matching.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 203, doi. 10.1093/jigpal/jzx059
- By:
- Publication type:
- Article
Detecting k-Balanced Trusted Cliques in Signed Social Networks.
- Published in:
- IEEE Internet Computing, 2014, v. 18, n. 2, p. 24, doi. 10.1109/MIC.2014.25
- By:
- Publication type:
- Article
Computer Aided Verification of Relational Models by Strategic Rewriting.
- Published in:
- Journal of Computer Science & Technology (JCS&T), 2017, v. 17, n. 2, p. 140, doi. 10.24215/16666038.17.e19
- By:
- Publication type:
- Article
Notions of Information: Remarks on Fresco's Paper.
- Published in:
- Philosophy & Technology, 2013, v. 26, n. 1, p. 61, doi. 10.1007/s13347-012-0073-8
- By:
- Publication type:
- Article
Programming and verifying a declarative first-order prover in Isabelle/HOL.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764
- By:
- Publication type:
- Article
The development of the HiPE system: design and experience report.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 421, doi. 10.1007/s100090100068
- By:
- Publication type:
- Article
A Brief Overview of the Pawns Programming Language.
- Published in:
- Software (2674-113X), 2024, v. 3, n. 4, p. 473, doi. 10.3390/software3040023
- By:
- Publication type:
- Article
NEUTROSOPHIC SETS IN UP-ALGEBRAS BY MEANS OF INTERVAL-VALUED FUZZY SETS.
- Published in:
- Journal of International Mathematical Virtual Institute, 2020, p. 93, doi. 10.7251/JIMVI2001093
- By:
- Publication type:
- Article
FUNCTIONAL FOLD BASED PROGRAMMING IN SWI-PROLOG.
- Published in:
- Scientific Studies & Research. Series Mathematics & Informatics, 2014, v. 24, n. 1, p. 91
- By:
- Publication type:
- Article
A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid.
- Published in:
- Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 9, p. 1098, doi. 10.1002/cpe.1547
- By:
- Publication type:
- Article
Lambda calculus as a workflow model.
- Published in:
- Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 16, p. 1999, doi. 10.1002/cpe.1448
- By:
- Publication type:
- Article