Search Results - "Functional programming"

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

Mind the Gap: Linking Refactorings and Code Smells in Elixir.

Authors: Vegi, Lucas Valente, Marco Túlio

Source: Journal of Software: Evolution & Process. May2026, Vol. 38 Issue 5, p1-31. 31p.

Subjects: Software refactoring, Functional programming (Computer science), Maintainability (Engineering), Software maintenance, Computer software, Programming languages, Software engineering

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.

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

Authors: Kudebayeva, Anel Harte, Christopher Bryan-Kinns, Nick et al.

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

Subjects: Functional programming (Computer science), User experience, Web-based user interfaces, Task performance, Video recording

Unsupervised Software Defect Prediction in Haskell: A Metrics-Driven Ensemble Approach Using Function-Level Thresholding.

Authors: Kumar, Rakesh Chaturvedi, Amrita

Source: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ). May2026, p1-28. 28p.

Forms for Presenting the Results of Comparing Programming Languages Using the Example of Lisp Dialects.

Authors: Gorodnyaya, L. V.^1,2 (AUTHOR) lidvas@gmail.com

Source: Automatic Documentation & Mathematical Linguistics. 2026 Suppl 1, Vol. 60, pS7-S19. 13p.

Pattern-Based Test Suite Reduction Method for Smart Contracts.

Authors: Górski, Tomasz¹, t.gorski@wi.umg.edu.pl

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

Pattern Matching and Structural Decomposition in Programming Language.

Authors: Vayadande, Kuldeep Gabhane, Lochan Lokhande, Aryan et al.

Source: Grenze International Journal of Engineering & Technology (GIJET); Jan2025, Vol. 11 Issue Part2, p1522-1529, 8p

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.

Checking equivalence in a non-strict language.

Authors: KOLESAR, JOHN CHARLES PISKAC, RUZICA HALLAHAN, WILLIAM TRIEST

Source: Journal of Functional Programming. 2025, Vol. 35, p1-65. 65p.

Automatically testing console I/O behavior of student submissions in Haskell.

Authors: WESTPHAL, OLIVER VOIGTLÄNDER, JANIS

Source: Journal of Functional Programming. 2025, Vol. 35, p1-61. 61p.

OCaml Blockly.

Authors: ASAI, KENICHI¹ (AUTHOR) asai@is.ocha.ac.jp

Source: Journal of Functional Programming. 2025, Vol. 35, p1-28. 28p.

How much is in a square? Calculating functional programs with squares.

Authors: OLIVEIRA, JOSE NUNO¹ (AUTHOR) jno@di.uminho.pt

Source: Journal of Functional Programming. 2025, Vol. 35, p1-27. 27p.

Turner, Bird, Eratosthenes: An eternal burning thread.

Authors: GIBBONS, JEREMY¹ (AUTHOR) jeremy.gibbons@cs.ox.ac.uk

Source: Journal of Functional Programming. 2025, Vol. 35, p1-13. 13p.

Experiences of early assessment to teach functional programming.

Authors: CHAPMAN, PETER¹ (AUTHOR) p.chapman@napier.ac.uk

Source: Journal of Functional Programming. 2025, Vol. 35, p1-15. 15p.

A practical formalization of monadic equational reasoning in dependent-type theory.

Authors: AFFELDT, REYNALD GARRIGUE, JACQUES SAIKAWA, TAKAFUMI

Source: Journal of Functional Programming. 2025, Vol. 35, p1-40. 40p.

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.

Subjects: Functional programming (Computer science), Numerical calculations, Problem solving, C++

Bridging the paradigm debate: automating functional and procedural paradigm translation with lightweight open-source LLMs.

Authors: Omari, Safwan Kathet, Prithu Wardat, Mohammad et al.

Source: Cluster Computing; Aug2026, Vol. 29 Issue 4, p1-24, 24p

Functional Data Science for Secondary-School Students.

Authors: BIBERSTEIN, Paul CASTLEMAN, Thomas Luming CHEN et al.

Source: Informatics in Education. Dec2024, Vol. 23 Issue 4, p723-734. 12p.

Subject Terms: *Science students, *Secondary schools, Functional programming (Computer science), Data science, Secondary analysis

A CALCULUS FOR SCOPED EFFECTS & HANDLERS.

Authors: BOSMAN, ROGER VAN DEN BERG, BIRTHE WENHAO TANG et al.

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p17:1-17:50, 50p