Results 11 to 20 of about 11,002,643 (373)
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 +6 more sources
Structural Induction Principles for Functional Programmers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 User defined recursive types are a fundamental feature of modern functional programming languages like Haskell, Clean, and the ML family of languages. Properties of programs defined by recursion on the structure of recursive types are generally proved ...
James Caldwell
doaj +10 more sources
How functional programming mattered [PDF]
, 2015 In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly 'why functional programming matters'. More than two decades have passed. Has functional programming really mattered? Our answer is
Zhenjiang Hu, John Hughes, Meng Wang
semanticscholar +3 more sources
Bricklayer: An Authentic Introduction to the Functional Programming Language SML [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as ...
Victor Winter
doaj +4 more sources
CirclizePlus: using ggplot2 feature to write readable R code for circular visualization. [PDF]
Front GenetIn 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
Zhang Z, Cao T, Huang Y, Xia Y.
europepmc +2 more sources
Transcriptional and Functional Programming of Decidual Innate Lymphoid Cells. [PDF]
Front Immunol, 2019 A successful pregnancy requires many physiological adaptations from the mother, including the establishment of tolerance toward the semiallogeneic fetus.
Vazquez J +5 more
europepmc +2 more sources
Functional programming with graphs [PDF]
Proceedings of the second ACM SIGPLAN international conference on Functional programming, 1997 Graph algorithms expressed in functional languages often suffer from their inherited imperative, state-based style. In particular, this impedes formal program manipulation. We show how to model persistent graphs in functional languages by graph constructors.
Martin Erwig
openalex +4 more sources
Functional programming in C++ [PDF]
Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, 2000 This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymorphic functions from either lack of expressiveness or high complexity. In contrast, FC++ offers full and concise support for higher-order polymorphic functions through a novel
Brian McNamara, Yannis Smaragdakis
openalex +3 more sources
Frontiers in Physiology, 2021 BackgroundThe kidney ontogenesis is the most structurally affected by gestational protein restriction, reducing 28% of their functional units. The reduced nephron number is predictive of hypertension and cardiovascular dysfunctions that are generally ...
Letícia de Barros Sene +5 more
doaj +1 more source
Frontiers in Cell and Developmental Biology, 2022 Background: Adverse factors that influence embryo/fetal development are correlated with increased risk of cardiovascular disease (CVD), type-2 diabetes, arterial hypertension, obesity, insulin resistance, impaired kidney development, psychiatric ...
Marina S. Folguieri +4 more
doaj +1 more source