LAZY EVALUATION AND INFINITE DATA STRUCTURES IN FUNCTIONAL LANGUAGES.

Authors: Hajiyeva, Rahima¹

Source: German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p82-84. 3p.

Subject Terms: *DATA structures, FUNCTIONAL programming (Computer science), COMPUTER memory management

Application of Monadic Calculations in Solving Numerical Problems.

Authors: Krasnov, M. M.¹ (AUTHOR) kmm@kiam.ru

Source: Programming & Computer Software. Oct2025, Vol. 51 Issue 5, p297-304. 8p.

Subject Terms: *FUNCTIONAL programming (Computer science), *NUMERICAL calculations, *PROBLEM solving, *C++

To Abstract or Not to Abstract? A Comparative Study Evaluating the User Experience of Spreadsheet Programming with Sheet-Defined Functional Abstractions.

Authors: Kudebayeva, Anel¹ (AUTHOR) anel.kudebayeva@qmul.ac.uk, Harte, Christopher¹ (AUTHOR), Bryan-Kinns, Nick² (AUTHOR), Stockman, Tony¹ (AUTHOR)

Source: International Journal of Human-Computer Interaction. May2025, Vol. 41 Issue 9, p5445-5461. 17p.

Subject Terms: *TASK performance, FUNCTIONAL programming (Computer science), USER experience, WEB-based user interfaces, VIDEO recording

Structuring Success.

Authors: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Source: Communications of the ACM. Aug2024, Vol. 67 Issue 8, p33-34. 2p.

Subject Terms: *ALGORITHMS, *COMPUTER software, FUNCTIONAL programming (Computer science)

The modified deep first search algorithm: functional implementation.

Authors: Ciubotaru, Constantin¹ chebotar@gmail.com

Source: Computer Science Journal of Moldova. 2025, Vol. 33 Issue 1, p129-140. 12p.

Subject Terms: *FUNCTIONAL programming (Computer science), *SPANNING trees, *UNDIRECTED graphs, *ALGORITHMS

Meet OCL♯, a relational object constraint language.

Authors: Steimann, Friedrich, Clarisó, Robert, Gogolla, Martin

Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1737-1761, 25p

Subject Terms: QUERY languages (Computer science), DATA modeling, MODELING languages (Computer science), FUNCTIONAL programming (Computer science), CONSTRAINT programming

Comparative analysis of maze solving algorithms based on OCaml.

Authors: Wang, Qixin¹ (AUTHOR) sgqwan14@liverpool.ac.uk

Source: AIP Conference Proceedings. 2024, Vol. 3194 Issue 1, p1-6. 6p.

Subject Terms: *FUNCTIONAL programming (Computer science), *EVIDENCE gaps, *COMPUTER science, *PROGRAMMING languages, *MAZE tests

Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data.

Authors: Vasenin, V. A.¹ (AUTHOR) vasenin@msu.ru, Zenzinov, A. A.¹ (AUTHOR), Roganov, V. A.¹ (AUTHOR) radug-a@ya.ru

Source: Programming & Computer Software. 2024 Suppl 2, Vol. 50, pS155-S162. 8p.

Subject Terms: *FUNCTIONAL programming (Computer science), *CACHE memory, *INFORMATION storage & retrieval systems, *INFORMATION services, *SYSTEMS theory

Refactoring Loops in the Era of LLMs: A Comprehensive Study.

Authors: Midolo, Alessandro, Tramontana, Emiliano

Source: Future Internet; Sep2025, Vol. 17 Issue 9, p418, 27p

Subject Terms: CHATGPT, GENERATIVE artificial intelligence, SOFTWARE engineering, SOFTWARE refactoring, FUNCTIONAL programming (Computer science), JAVA programming language

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Authors: CICCALÈ, MARCO, JURJO-RIVAS, DANIEL, MORALES, JOSE F., LÓPEZ-GARCÍA, PEDRO, HERMENEGILDO, MANUEL V.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

Subject Terms: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

МАТЕРИНСЬКА ПЕРЕДАЧА МІКРОБІОТИ ТА ЇЇ РОЛЬ У ФОРМУВАННІ ІМУННОЇ СИСТЕМИ НЕМОВЛЯТ (ЛІТЕРАТУРНИЙ ОГЛЯД) (Ukrainian)

Alternate Title: MATERNAL MICROBIOTA TRANSMISSION AND ITS ROLE IN THE FORMATION OF THE INFANT IMMUNE SYSTEM (LITERATURE REVIEW). (English)

Authors: Знаменська, Т. К., Воробйова, О. В.

Source: Neonatology Surgery & Perinatal Medicine; 2025, Vol. 15 Issue 3, p210-215, 6p

Subject Terms: SHORT-chain fatty acids, COLONIZATION (Ecology), CESAREAN section, FUNCTIONAL programming (Computer science), IMMUNOREGULATION

On the Interpretation of Denotational Semantics.

Authors: Cardone, Felice

Source: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Subject Terms: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

CirclizePlus: using ggplot2 feature to write readable R code for circular visualization.

Authors: Zhang, Zheyu, Cao, Tianze, Huang, Yuexia, Xia, Yu

Source: Frontiers in Genetics; 2025, p1-7, 7p

Subject Terms: FUNCTIONAL programming (Computer science), CARTESIAN coordinates, OBJECT-oriented programming, DRAWING techniques, PROGRAMMING languages

Knuth–Morris–Pratt illustrated.

Source: Journal of Functional Programming. 2024, Vol. 34, p1-10. 10p.

Subject Terms: *FUNCTIONAL programming (Computer science), *SEARCH algorithms, *ARITHMETIC, *PICTURES, *EXPLANATION

A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020).

Source: Journal of Functional Programming. 2024, Vol. 34, p1-4. 4p.

Subject Terms: *FUNCTIONAL programming (Computer science), *LOCATION data, *STAGE lighting, *SOFTWARE architecture, *DRAMATIC music

Modelling energy consumption in multi-core systems using meta-heuristics and statistical modelling

Authors: Alguwaifli, Yasir

Contributors: Brown, Christopher Mark, Brady, Edwin

Subject Terms: Programming languages energy, Programming languages, Parallel energy, Parallelism, Functional programming, Haskell, C/C++, QA76.62A64, Functional programming (Computer science), Programming languages (Electronic computers), Haskell (Computer program language)

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.887585

Unleashing DeFi's Potential with Dharma Network: Fusion of Functional Programming and Algorand Blockchain.

Authors: Macieira, Bruna¹ (AUTHOR), Mota, Emanuel² (AUTHOR), Ferreira, Luís³ (AUTHOR) lufer@ipca.pt

Source: Procedia Computer Science. 2025, Vol. 256, p649-656. 8p.

Subject Terms: Functional programming (Computer science), Economic liberty, Blockchains, Political participation, Social networks

Image Processing Without Sacrificing the Functional Paradigm.

Authors: Bossard, Antoine

Source: International Journal for Computers & Their Applications; Mar2025, Vol. 32 Issue 1, p36-42, 7p

Subject Terms: IMAGE processing, FUNCTIONAL programming (Computer science), PROGRAMMING languages, ALGORITHMS, RESEARCH evaluation, PARALLEL processing

A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types.

Authors: Zeng, Zhen, Zhang, Tianbei, Zhang, Jiajia, Li, Shuai, Connor, Sydney, Zhang, Boyang, Zhao, Yimin, Wilson, Jordan, Singh, Dipika, Kulikauskas, Rima, Church, Candice D., Pulliam, Thomas H., Jani, Saumya, Nghiem, Paul, Topalian, Suzanne L., Forde, Patrick M., Pardoll, Drew M., Ji, Hongkai, Smith, Kellie N.

Source: Nature Communications; 2/3/2025, Vol. 16 Issue 1, p1-17, 17p

Subject Terms: TUMOR antigens, MEDICAL sciences, GENE expression, T cells, FUNCTIONAL programming (Computer science), LUNGS

Pattern-Based Test Suite Reduction Method for Smart Contracts.

Authors: Górski, Tomasz

Source: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p620, 20p

Subject Terms: FUNCTIONAL programming (Computer science), OBJECT-oriented programming, COMPUTER software testing, COMPUTER software development, SOFTWARE architecture