Search Results - "Functional Programming"

Functional Programming for the Internet of Things: A Comparative Study of Implementation of a LoRa-MQTT Gateway Written in Elixir and C++ by Branch, Philip, Weinstock, Phillip

“… Functional programming languages such as Erlang and Elixir have proven to be an effective programming paradigm for such scenarios, notably in large-scale telecommunications switches…”
Get full text

Mastering Functional Programming: Functional Techniques for Sequential and Parallel Programming with Scala by Kmetiuk, Anatolii

“… The solution to these problems is Functional Programming, a paradigm specifically designed to deal with the complexity of software development. Mastering…”
Get full text

Trends in Functional Programming Volume 4 by Gilmore, Stephen

“…This book collects the latest research developments in the use of functional programming languages…”
Get full text

Types of mathematical thinking implemented in the learn process of functional programming by Omar Iván Trejos Buriticá

“…Context: This article presents and analyzes the results of a research carried out in a classroom, in the context of the learning of functional programming at university level in Systems Engineering…”
Get full text

Trends in Functional Programming Volume 4

Get full text

A recurrent neural network for nonlinear convex optimization subject to nonlinear inequality constraints by Xia, Youshen, Wang, Jun

“…This paper presents a novel recurrent neural network for solving nonlinear convex programming problems subject to nonlinear inequality constraints…”
Get full text

Effectful improvement theory by Ceresa, Martín A., Jaskelioff, Mauro J.

“…•Relational cost theory for effectful functional programming languages.•Cost as an algebraic effect…”
Get full text

Verified Functional Programming of an Abstract Interpreter by Lucas Franceschino, Pichardie, David, Talpin, Jean-Pierre

“…, their implementations are subject to bugs, that might question the soundness of their computations. While some formally verified abstract interpreters have been written in the past…”
Get full text

Trends in functional programming by Gilmore, Stephen

“…This book collects the latest research developments in the use of functional programming languages…”
Get full text

Functional Programming for the Internet of Things: A LoRa-MQTT Gateway written in Elixir by Branch, Philip, Weinstock, Phillip

“… Functional programming languages such as Erlang and Elixir have proven to be an effective programming paradigm for such scenarios, notably in large scale telecommunications switches…”
Get full text

Using Functional Programming to Promote Math Learning by Cameto, Gonzalo, Carboni, Alejandra, Koleszar, Victor, Mendez, Martin, Tejera, Gonzalo, Viera, Marcos, Wagner, Javier

“…Is there a recommended language to start in the world of programming? Does the teaching of programming facilitate the learning of other scientific subjects…”
Get full text

Prioritise the Best Variation by Kokke, Wen, Dardha, Ornela

“…Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different…”
Get full text

Structure verification of deep neural networks at compilation time by Piñeyro, Leonardo, Pardo, Alberto, Viera, Marcos

“… In particular, validating the structure of deep neural networks at compilation time is a complex subject that involves the mathematical validation of all operations that a deep learning model will perform…”
Get full text

Two Medoid-Based Algorithms for Clustering Sets by Nigro, Libero, Fränti, Pasi

“… An example of such data occurs in the analysis of a medical diagnosis, where the goal is to detect human subjects who share common diseases to possibly predict future illnesses from previous medical history…”
Get full text

MateFun: Functional Programming and Math with Adolescents by Carboni, Alejandra, Koleszar, Victor, Tejera, Gonzalo, Viera, Marcos, Wagner, Javier

“…The MateFun project arises with the intention of approaching disciplines that intersect in the field of education, based on the transversality of information…”
Get full text

Functional Programming by Simoni, Mary, Dannenberg, Roger B

“… One advantage of functional programming is that functional programs are often easier to reason about than non-functional alternatives…”
Get full text

Conceptual programming in GIS development by Ya Tsvetkov, V, Buravtsev, A V

“… The connection between conceptual and functional programming through the apparatus of functional grammars is shown…”
Get full text

A Hybrid Approach to the Synthesis of Subarrayed Monopulse Linear Arrays by Rocca, P., Manica, L., Azaro, R., Massa, A.

“…In this paper, a hybrid approach for the synthesis of the ldquooptimalrdquo compromise between sum and difference patterns for subarrayed monopulse antennas is…”
Get full text

Excel as a Turing-complete Functional Programming Environment by Bartholomew, Peter

“…Since the calculation engine of Excel was the subject of a major upgrade to accommodate Dynamic Arrays in 2018 there has been a series of seismic changes to the art of building spreadsheet solutions…”
Get full text

Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages by Lunden, Daniel, Borgström, Johannes, Broman, David

“…Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems,…”
Get full text