PhD Abstracts HUTTON, GRAHAM
Journal of functional programming,
2019, Volume:
29
Journal Article
Peer reviewed
Open access
Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations ...completed during the previous year.
PhD Abstracts HUTTON, GRAHAM
Journal of functional programming,
01/2021, Volume:
31
Journal Article
Peer reviewed
Open access
Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations ...completed during the previous year.
PhD Abstracts HUTTON, GRAHAM
Journal of functional programming,
01/2020, Volume:
30
Journal Article
Peer reviewed
Open access
Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations ...completed during the previous year.
Authors will continue to retain copyright in their work: content will be published under a Creative Commons license, which allows free access and redistribution and, in many cases, allows re-use in ...new or derivative works. Authors who are part of a Read & Publish Agreement would not need to pay an APC. The functional programming community has not been resting; if anything, activity in our world has become even more exciting and frenetic.
Generic programming with combinators and objects Kosarev, D.S.; Boulytchev, D.Yu
Nauchno-tekhnicheskiĭ vestnik informat͡s︡ionnykh tekhnologiĭ, mekhaniki i optiki,
10/2021, Volume:
21, Issue:
5
Journal Article
Peer reviewed
Open access
The generic programming approach is popular in functional languages (for example, OCaml, Haskell). In essence, it is a compile-time generation of code that performs transformations of user-defined ...data types. The generated code can carry out various kinds of transformations of the values. Usually, transformations are represented as functions that implement algorithms of transformation. New transformations could be built from these transformation functions and user-defined ones. The representation based on functions has a downside: functions behave as final representations, and hence it is not possible to modify the behavior of the already built function. If the current set of transformations does not suit well, software developers are obliged to write a completely distinct transformation, even in the case when the new transformation is almost identical to the existing one. This work proposes to build transformations that are extensible after construction. The object-oriented programming paradigm will be followed, transformations will be represented not as functions but as objects. Instead of calling a transformation function, one of the object’s methods will be called. The transformation itself will be split into methods. The extensibility is supported by adding new methods and overriding existing ones. In this paper, the authors propose an approach to represent transformations as objects in the OCaml functional programming language. Every alternative in data type definition has a corresponding object method. This design allows the construction of many distinct transformations. The cases where too many methods are not desirable are also discussed. The method is applicable to represent extensible transformations for polymorphic variant data types in OCaml when other methods fail to do it. The method is not bound to any particular domain. It allows the creation of extensible transformations in OCaml. It could be ported to other functional languages supporting object-oriented programming.
PhD Abstracts HUTTON, GRAHAM
Journal of functional programming,
2018, Volume:
28
Journal Article
Peer reviewed
Open access
Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during ...the previous year.
In the last years, pattern-based programming has been recognized as a good practice for efficiently exploiting parallel hardware resources. Following this approach, multiple libraries have been ...designed for providing such high-level abstractions to ease the parallel programming. However, those libraries do not share a common interface. To pave the way, GrPPI has been designed for providing an intermediate abstraction layer between application developers and existing parallel programming frameworks like OpenMP, Intel TBB or ISO C++ threads. On the other hand, FastFlow has been adopted as an efficient object-based programming framework that may benefit from being supported as an additional GrPPI backend. However, the object-based approach presents some major challenges to be incorporated under the GrPPI type safe functional programming style. In this paper, we present the integration of FastFlow as a new GrPPI backend to demonstrate that structured parallel programming frameworks perfectly fit the GrPPI design. Additionally, we also demonstrate that GrPPI does not incur in additional overheads for providing its abstraction layer, and we study the programmability in terms of lines of code and cyclomatic complexity. In general, the presented work acts as reciprocal validation of both FastFlow (as an efficient, native structured parallel programming framework) and GrPPI (as an efficient abstraction layer on top of existing parallel programming frameworks).
Communication within the glial cell ecosystem is essential for neuronal and brain health
. The influence of glial cells on the accumulation and clearance of β-amyloid (Aβ) and neurofibrillary tau in ...the brains of individuals with Alzheimer's disease (AD) is poorly understood, despite growing awareness that these are therapeutically important interactions
. Here we show, in humans and mice, that astrocyte-sourced interleukin-3 (IL-3) programs microglia to ameliorate the pathology of AD. Upon recognition of Aβ deposits, microglia increase their expression of IL-3Rα-the specific receptor for IL-3 (also known as CD123)-making them responsive to IL-3. Astrocytes constitutively produce IL-3, which elicits transcriptional, morphological, and functional programming of microglia to endow them with an acute immune response program, enhanced motility, and the capacity to cluster and clear aggregates of Aβ and tau. These changes restrict AD pathology and cognitive decline. Our findings identify IL-3 as a key mediator of astrocyte-microglia cross-talk and a node for therapeutic intervention in AD.
Macrophages are a heterogeneous cell population involved in tissue homeostasis, inflammation, and various pathologies. Although the major tissue-resident macrophage populations have been extensively ...studied, interstitial macrophages (IMs) residing within the tissue parenchyma remain poorly defined. Here we studied IMs from murine lung, fat, heart, and dermis. We identified two independent IM subpopulations that are conserved across tissues: Lyve1
MHCII
CX3CR1
(Lyve1
MHCII
) and Lyve1
MHCII
CX3CR1
(Lyve1
MHCII
) monocyte-derived IMs, with distinct gene expression profiles, phenotypes, functions, and localizations. Using a new mouse model of inducible macrophage depletion (
), we found that the absence of Lyve1
MHCII
IMs exacerbated experimental lung fibrosis. Thus, we demonstrate that two independent populations of IMs coexist across tissues and exhibit conserved niche-dependent functional programming.