Results 31 to 40 of about 11,002,643 (373)
Functional programming for compiling and decompiling computer-aided design
Proc. ACM Program. Lang., 2018 Desktop-manufacturing techniques like 3D printing are increasingly popular because they reduce the cost and complexity of producing customized objects on demand. Unfortunately, the vibrant communities of early adopters, often referred to as "makers," are
Chandrakana Nandi +5 more
semanticscholar +1 more source
CoCaml: Functional Programming with Regular Coinductive Types
Fundamenta Informaticae, 2017 Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs ...
Jean-Baptiste Jeannin +2 more
semanticscholar +1 more source
The Lean 4 Theorem Prover and Programming Language
CADE, 2021 Lean 4 is a reimplementation of the Lean interactive theorem prover (ITP) in Lean itself. It addresses many shortcomings of the previous versions and contains many new features.
L. D. Moura, Sebastian Ullrich
semanticscholar +1 more source
On the Equivalence Between CMC and TIM [PDF]
, 1994 In this paper we present the equivalence between TIM, a machine developed to implement lazy functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system developed with similar aims.
Jones, Simon L. Peyton +2 more
core +1 more source
Functional programming with bananas, lenses, envelopes and barbed wire [PDF]
, 1991 We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs.
Fokkinga, Maarten +2 more
core +5 more sources
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
arxiv +1 more source
The modified deep first search algorithm: functional implementation [PDF]
Computer Science Journal of MoldovaThe article includes the modified deep first search algorithm (DFS) that allows, at a single traversal of a graph, to check its connectivity/biconnectivity, highlight the cut vertices, and build the spanning tree, the biconnected components, and the ...
Constantin Ciubotaru
doaj +1 more source
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
From Logic to Functional Logic Programs [PDF]
arXiv, 2022 Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework.
arxiv
Distributed Programming via Safe Closure Passing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Programming systems incorporating aspects of functional programming, e.g., higher-order functions, are becoming increasingly popular for large-scale distributed programming.
Philipp Haller, Heather Miller
doaj +1 more source