• Search: "Functional programming"

Showing 1 - 20 of 7,782

1

To Abstract or Not to Abstract? A Comparative Study Evaluating the User Experience of Spreadsheet Programming with Sheet-Defined Functional Abstractions.
Kudebayeva, Anel ; Harte, Christopher ; Bryan-Kinns, Nick ; et al.
International Journal of Human-Computer Interaction. May2025, Vol. 41 Issue 9, p5445-5461. 17p.

TASK performance FUNCTIONAL programming (... USER experience WEB-based user interface... VIDEO recording
Academic journal
Save to List
2

Generic Second-Order Matching, Higher-Order Preunification and Pattern Unification - Implementations in Haskell
Kudasov, Nikolai ; Starikov, Artem ; Ivanov, Fedor ; et al.
UNIF 2025 - 39th International Workshop on Unification, Jul 2025, Birmingham, United Kingdom

Birmingham, United Kingd... higher-order unification functional programming preunification higher-order pattern uni... second-order abstract sy... …
Conference
Save to List
3

LAZY EVALUATION AND INFINITE DATA STRUCTURES IN FUNCTIONAL LANGUAGES.
Hajiyeva, Rahima
German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p82-84. 3p.

DATA structures FUNCTIONAL programming (... COMPUTER memory manageme...
Academic journal
Save to List
4

Functional Data Science for Secondary-School Students.
BIBERSTEIN, Paul ; CASTLEMAN, Thomas ; Luming CHEN ; et al.
Informatics in Education. Dec2024, Vol. 23 Issue 4, p723-734. 12p.

Science students Secondary schools Functional programming (... Data science Secondary analysis
Academic journal
Save to List
5

Structuring Success.
Neville-Neil, George V.
Communications of the ACM. Aug2024, Vol. 67 Issue 8, p33-34. 2p.

ALGORITHMS COMPUTER software FUNCTIONAL programming (...
Journal
Save to List
6

Deductively Verifying Functional Scalable Parallel Programs with Why3
Loulergue, Frédéric ; Proust, Olivia ; Langages, Modèles et Vérification (LMV) ; et al.
Software and Systems Modeling. :1-37

software engineering formal methods scalable parallel comput... functional programming Why3 deductive verification …
Journal
Save to List
7

A Mechanized Formalization of an FRP Language with Effects
Ischard, Jordan ; Dabrowski, Frederic ; Chouquet, Jules ; et al.
ACM Symposium on Applied Computing (SAC), Mar 2025, Sicily, Italy. ⟨10.1145/3672608.3707907⟩

Sicily, Italy functional programming reactive programming effects interactive theorem prov... [INFO]Computer Science [...
Conference
Save to List
8

Hardware Implementation of OCaml Using a Synchronous Functional Language
Sylvestre, Loïc ; Sérot, Jocelyn ; Chailloux, Emmanuel ; et al.
PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages. :151-168

Londres, United Kingdom synchronous programming functional programming language design and impl... FPGA virtual machine …
Conference
Save to List
9

L-types for resource aware languages: an implicit name approach
Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; et al.

language design language design function... Haskell resource awareness type system de Bruijn index …
Electronic Resource
Save to List
10

Application of Monadic Calculations in Solving Numerical Problems.
Krasnov, M. M.
Programming & Computer Software. Oct2025, Vol. 51 Issue 5, p297-304. 8p.

FUNCTIONAL programming (... NUMERICAL calculations PROBLEM solving C++
Academic journal
Save to List
11

Totality for Mixed Inductive and Coinductive Types
Hyvernat, Pierre ; Laboratoire de Mathématiques (LAMA) ; Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)

nested fixed points coinductive types size-change principle functional programming Circular proofs [INFO.INFO-LO]Computer S... …
Electronic Resource
Save to List
12

The Size-Change Principle for Mixed Inductive and Coinductive types
Hyvernat, Pierre ; Laboratoire de Mathématiques (LAMA) ; Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)

coinductive types nested fixed points size-change principle functional programming recursive definitions totality …
Electronic Resource
Save to List
13

Functional Reactive Programming with Effects, a more permissive approach
Dabrowski, Frédéric ; Ischard, Jordan ; Langages, Modèles et Vérification (LMV) ; et al.

Functional programming l... Semantics Formal methods [INFO]Computer Science [...
Electronic Resource
Save to List
14

Compositional Static Value Analysis for Higher-Order Numerical Programs
Valnet, Milla ; Monat, Raphaël ; Miné, Antoine ; et al.
39th European Conference on Object-Oriented Programming (ECOOP 2025). :15-15

Bergen, Norway Abstract Interpretation Static Value Analysis Functional Programming [INFO.INFO-SE]Computer S... Software Engineering [cs...
Conference
Save to List
15

Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions
Silvan Renggli ; Sverrir Thorgeirsson ; Theo B. Weidmann ; et al.
ITiCSE 2025: Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education

undergraduate education higher-order functions functional programming live programming visual programming direct manipulation
Academic journal
Save to List
16

TRENDS IN FUNCTIONAL PROGRAMMING: REVISED SELECTED PAPERS
INTERNATIONAL SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING (26TH: 2025: OXFORD, UK) ; JEREMY GIBBONS, Editor

eBook
Save to List
17

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Nogueira, Pablo ; Garcia Perez, Alvaro ; University of Design, Innovation and Technology (UDIT) ; et al.
Logical Methods in Computer Science. 20(4):1-76

Lambda calculus big-step evaluators definitional interpreter... evaluation strategies operational semantics program transformation …
Journal
Save to List
18

Musical structure modeling with hierarchical tiles
Modéliser la structure musicale à l'aide des tuiles hiérarchiques
Rixte, Alice ; Janin, David ; Université de Bordeaux (UB) ; et al.
Journées d'Informatique Musicale 2024, PRISM-CNRS; GMEM, May 2024, Marseille, France

Marseille, France Symbolic representation Musical structure Functional programming Domain specific Language... Représentation symboliqu... …
Conference
Save to List
19

A Faithful Description of ECMAScript Algorithms
Khayam, Adam ; Noizet, Louis ; Schmitt, Alan ; et al.
PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming. :1-14

Tbilisi, Georgia ECMAScript Skeletal Semantics Functional programming Monads [INFO.INFO-PL]Computer S... …
Conference
Save to List
20

A Chisel Framework for Flexible Design Space Exploration through a Functional Approach
Ferres, Bruno ; Muller, Olivier ; Rousseau, Frédéric ; et al.
ACM Transactions on Design Automation of Electronic Systems. 28(4):1-31

functional programming FPGA design methodology Chisel design space exploration... PACS 8542 …
Journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter