18 papers · ranked by Valyu relevance
Fernando Alves, Delano Oliveira, Fernanda Madeiral, Fernando Castor
—Language constructs inspired by functional programming have made their way into most mainstream programming languages. Many researchers and developers consider that these constructs lead to programs that are more concise, reusable, and easier to understand. Notwithstanding, few studies investigate the prevalence of…
Thomas Bagrel
La programmation par passage de destination introduit le concept de destination, qui représente l'adresse d'une cellule mémoire encore vierge sur laquelle on ne peut écrire qu'une fois. Ces destinations peuvent être passées en tant que paramètres de fonction, permettant à l'appelant de garder le contrôle de la gestion…
Rajshekhar Sunderraman
The functional programming paradigm has a long and storied history with its beginnings in the Lambda Calculus. In recent decades, pure functional languages such as Haskell have been shown to be highly effective in producing robust software due to immutable data structures among other functional features. The advantages…
Authors not listed
Curried functions provide a systematic way of transforming multi-argument functions into nested singleargument functions. This transformation allows partial application and supports many central principles of functional programming. Their extension, called curried 𝑘-ary functions, naturally generalizes the familiar…
Thomas Bagrel, Arnaud Spiwack
Destination passing —aka. out parameters— is taking a parameter to fill rather than returning a result from a function. Due to its apparently imperative nature, destination passing has struggled to find its way to pure functional programming. In this paper, we present a pure functional calculus with destinations at its…
Viktor Senderov, Jan Kudlicka, Daniel Lundén, Viktor Palmkvist + 4 more
We present TreePPL, a language for probabilistic modeling and inference in statistical phylogenetics. Specifically, TreePPL is a domain-specific universal probabilistic programming language (PPL), particularly designed for describing phylogenetic models. The core idea is to express the model as a computer program…
Patrick Bahr
Functional reactive programming (FRP) is a declarative programming paradigm for implementing reactive programs at a high level of abstraction. It applies functional programming principles to construct and manipulate time-varying values, also known as signals. However, for this programming paradigm to work in practice…
Duško Pavlović
| Preface | | v | | --- | --- | --- | | What? | | vii | | 1 Drawing types and functions | | 3 | | 2 | Monoidal computers: computability as a structure | 23 | | 3 | Fixpoints | 39 | | 4 | What can be computed | 53 | | 5 | What cannot be computed | 71 | | 6 | Computing programs | 79 | | 7 Stateful computing | | 97 | | 8…
Nathan Braswell, Sharjeel Khan, Santosh Pande
Macros are a common part of Lisp languages, and one of their most lauded features. Much research has gone into making macros both safer and more powerful resulting in developments in multiple areas, including maintaining hygiene, and typed program staging [Rompf et al. 2013]. However, macros do suffer from various…
Remi van Trijp, Katrien Beuls, Paul Van Eecke, Andrew Kehler
Since its inception in the mid-eighties, the field of construction grammar has been steadily growing and constructionist approaches to language have by now become a mainstream paradigm for linguistic research. While the construction grammar community has traditionally focused on theoretical, experimental and…
Lingwei Li, Fanyi Meng, Siqi Yao, Qingfu Shi + 1 more
5## Conclusion In conclusion, this study demonstrates that an 8-week functional training program significantly enhances functional movement patterns, as assessed by the Functional Movement Screen, and improves a comprehensive range of physical fitness indicators-including speed, power, endurance, and flexibility-in…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Authors not listed
Step-by-step thinking is essential in all domains of chemical sciences and engineering. While machine learning tools are broadly used, algorithms that automate reasoning are far less common. We elaborate on seven categories of human reasoning activities and connect each to applications in chemical science and…
Majd Abdallah, Valentin Iovene, Gaston Zanitti, Demian Wassermann
Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis. However, existing meta-analysis tools are limited to investigating simple neuroscience concepts and expressing a restricted range of questions. Here, we expand the scope…
Liangjun Deng, Qi Zhong, Jingcheng Song, Hang Lei + 3 more
'Sebastià Galmés' 'Baris Atakan'] The rapid expansion of the Internet of Things (IoT) has made software security and reliability a critical concern. With multi-language programs running on edge computing, embedded systems, and sensors, each connected device represents a potential attack vector, threatening data…
Andy E. Williams
Objective We introduce the Cognitive Near-Singularity (CNS) as a falsifiable phase transition in reasoning systems: the regime in which updates are globally contracting, closed under composition, and invariant to benign reparameterizations, so that heterogeneous reasoning processes converge to a common fixed point up…
Kathleen S. Dreyer, Anh V. Nguyen, Gauri G. Bora, Lauren E. Redus + 6 more
Genetic programs can direct living systems to perform diverse, pre-specified functions. As the library of parts available for building such programs continues to expand, computation-guided design is increasingly helpful and necessary. Predictive models aid the challenging design process, but iterative simulation and…
Judith Schmidt, Lilli Wollermann, Stephan Abele, Romy Müller + 1 more
Solving problems in a technical system usually requires people to understand its functioning on different levels of abstraction (i.e., goals, functions, components, characteristics) that are connected via means-ends links. We combined this abstraction hierarchy with concept mapping to assess people’s understanding of…