Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Antigen-specific suppression of inflammatory arthritis by dendritic cells

Purpose Antigen-specific suppression of a previously primed immune response is a major challenge for immunotherapy of autoimmune disease. We have shown that NF-κB inactivation in dendritic cells (modified DC) converts them into cells that tolerize rather than immunize to specific antigen [1]. Antigen-exposed modified DC prevent priming of immunity, and they suppress previously primed immune responses. Regulatory CD4+ T cells, which can transfer antigen-specific tolerance in an IL-10-dependent fashion, mediate the tolerance. We hypothesized that modified DC exposed to arthritogenic antigen would suppress clinical arthritis after disease onset. Methods Antigen-induced arthritis was induced in C57/Bl6 mice by priming to methylated bovine serum albumin (mBSA) antigen followed by challenge injection of mBSA to one knee. Knee swelling was apparent within 2 days, with peak clinical signs apparent at 5 days. Mice were treated with antigen-exposed modified DC between 2 and 6 days after mBSA challenge to the knee joint. Results Clinical arthritis was suppressed in each group receiving mBSA-exposed modified DC within 4 days compared with mice that received either no DC or keyhole limpet hemocyanin-exposed modified DC. Clinical improvement was associated with mBSA-specific tolerance in mice receiving mBSA-exposed modified DC. Tolerance induction was not impaired by concomitant administration of anti-tumor necrosis factor alpha monoclonal antibody. Subsequent rechallenge with intra-articular IL-1 induced flare of arthritis in all groups, which could be effectively suppressed by a second administration of mBSA-exposed modified DC. Conclusions The data indicate that modified DC induce antigen-specific immune suppression in this model of inflammatory arthritis, even after full clinical expression of the disease. These observations have important implications for antigen-specific therapy of autoimmunity.

Cytokine expanded myeloid precursors function as regulatory antigen presenting cells and induce tolerance through IL-10 producing regulatory T cells

The initiation of graft vs. host disease (GVHD) after stem cell transplantation is dependent on direct antigen presentation by host antigen presenting cells (APC) while the effect of indirect antigen presentation by donor APC is unknown. We have studied the role of indirect antigen presentation in allogenic responses by adding populations of cytokine-expanded donor APC to haematopoietic grafts that would otherwise induce lethal GVHD. Progenipoietin-1 (a synthetic G-CSF/Flt-3 L molecule) and G-CSF expanded myeloid DC, plasmacytoid DC and a novel granulocyte-monocyte precursor population (GM) that differentiate into class IIpos, CD80/CD86pos, CD40neg APC during GVHD. Whereas addition of plasmacytoid and myeloid donor DC augmented GVHD, GM cells induced transplant tolerance via MHC class II restricted generation of IL-10-secreting regulatory T cells. Thus a population of cytokine expanded granulocyte-monocyte precursors function as regulatory antigen presenting cells, suggesting that G-CSF derivatives may have application in disorders characterised by a loss of self-tolerance.