Results 31 to 40 of about 681,398 (337)
Synthesizing functional reactive programs [PDF]
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019 Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using abstractions such as Applicative, Monads, and Arrows. However, finding a good control flow, that correctly manages state and switches behaviors at the right times, still poses ...
Finkbeiner, Bernd +3 more
openaire +3 more sources
Investigating Compilation Errors of Students Learning Haskell [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming.
Boldizsár Németh +3 more
doaj +1 more source
Step-Indexed Relational Reasoning for Countable Nondeterminism [PDF]
, 2013 Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems.
Birkedal, Lars +2 more
core +1 more source
Teaching Erlang through the Internet: An Experience Report [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Today functional programming languages are seen as a practical solution to the difficult problems of concurrent and distributed programming. Erlang is a functional language designed to build massively scalable and fault tolerant applications.
Stephen Adams
doaj +1 more source
Calculating Functional Programs [PDF]
, 2002 Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate programs, in the same way that one calculates numeric values in arithmetic. Many useful theorems for such reasoning derive from an algebraic view of programs, built around datatypes ...
openaire +5 more sources
A C++-embedded Domain-Specific Language for programming the MORA soft processor array [PDF]
, 2010 MORA is a novel platform for high-level FPGA programming of streaming vector and matrix operations, aimed at multimedia applications. It consists of soft array of pipelined low-complexity SIMD processors-in-memory (PIM).
Chalamalasetti, S.R. +3 more
core +1 more source
CirclizePlus: using ggplot2 feature to write readable R code for circular visualization
Frontiers in GeneticsIn the R programming language, the de facto standard framework for drawing rectangular coordinates is ggplot2. The most important feature of ggplot2 is that it is object-oriented and uses the plus sign to overlay various objects. In the field of circular
Zheyu Zhang +3 more
doaj +1 more source
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together.
John T. O'Donnell
doaj +1 more source
SMT Solving for Functional Programming over Infinite Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
Bartek Klin, Michał Szynwelski
doaj +1 more source
Frontiers in Neurology, 2022 Objective:Programming plays an important role in the outcome of deep brain stimulation (DBS) for Parkinson's disease (PD). This study introduced a new application for functional zonal image reconstruction in programming.MethodsFollow-up outcomes were ...
Jiaming Mei +4 more
doaj +1 more source