Results 41 to 50 of about 147,066 (311)
Functional programming languages for verification tools: a comparison of Standard ML and Haskell [PDF]
, 2005 We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML.
Weber, Michael +3 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
Reactive Functional Programming [PDF]
, 1998 Reactive systems respond to concurrent, possibly unsynchronized streams of input events. Programming reactive systems is challen ging without language support for event-triggered actions. It is even more challenging to reason about reactive systems. This paper explores a new conceptual basis for applying functional programming techniques to the design ...
openaire +1 more source
Applicative Bidirectional Programming with Lenses [PDF]
, 2015 A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws.
Matsuda, Kazutaka +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +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
, 2009 Functional programming is a programming paradigm like object-oriented programming and logic programming. Functional programming comprises both a specific programming style and a class of programming languages that encourage and support this programming ...
Chitil, Olaf
core
Type−directed weaving of aspects for polymorphically typed functional languages
, 2010 Incorporating aspect-oriented paradigm to a polymorphically typed functional language enables the declaration of type-scoped advice, in which the effect of an aspect can be harnessed by introducing possibly polymorphic type constraints to the aspect ...
Chen, Kung +13 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with acute lymphoblastic leukemia (ALL) are at risk of severe outcomes from SARS‐CoV‐2 (SCV2). In the post‐pandemic context, where most children have been infected with SCV2, there are limited data on whether vaccination remains beneficial in children with ALL.
Janna R. Shapiro +11 more
wiley +1 more source
A Mathematica-Based Interface for the Exploration of Inter- and Intra-Regional Financial Flows
MathematicsThis work surveys the use of directed weighted graphs in conducting comparative static analyses. The paper discusses the implementation of a computer-aided process for building spreadsheet-based graph models for inter- and intra-regional financial flows.
Kyriaki Tsilika
doaj +1 more source