Constructing medium sized efficient functional programs in Clean

Contains fulltext : 107652.pdf (author's version ) (Open Access

The Essence of Form Abstraction

grant number EP/D046769/1Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components, leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax. Supported by EPSRC grant number EP/D046769/1

Links: Web Programming Without Tiers

Abstract. Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the client and into SQL to run on the database. Links supports rich clients running in what has been dubbed ‘Ajax ’ style, and supports concurrent processes with statically-typed message passing. Links is scalable in the sense that session state is preserved in the client rather than the server, in contrast to other approaches such as Java Servlets or PLT Scheme. Client-side concurrency in JavaScript and transfer of computation between client and server are both supported by translation into continuation-passing style.

Cumulative incidence and risk factors for cutaneous squamous-cell carcinoma metastases in organ transplant recipients: the SCOPE-ITSCC metastases study, a prospective multi-center study.

Solid organ transplant recipients (SOTRs) are believed to have an increased risk of metastatic cutaneous squamous-cell carcinoma (cSCC), but reliable data are lacking regarding the precise incidence and associated risk factors. In a prospective cohort study, including 19 specialist dermatology outpatient clinics in 15 countries, patient and tumor characteristics were collected using standardized questionnaires when SOTRs presented with a new cSCC. After a minimum of 2 years of follow-up, relevant data for all SOTRs were collected. Cumulative incidence of metastases was calculated by the Aalen-Johansen estimator. Fine and Gray models were used to assess multiple risk factors for metastases. Of 514 SOTRs who presented with 623 primary cSCCs, 37 developed metastases with a 2-year patient-based cumulative incidence of 6.2%. Risk factors for metastases included location in the head and neck area, local recurrence, size >2cm, clinical ulceration, poor differentiation grade, perineural invasion and deep invasion. A high-stage tumor that is also ulcerated showed the highest risk of metastasis, with a 2-year cumulative incidence of 46.2% (31.9% - 68.4%). SOTRs have a high risk of cSCC metastases and well-established clinical and histological risk factors have been confirmed. High-stage, ulcerated cSCCs have the highest risk of metastasis. [Abstract copyright: Copyright © 2024. Published by Elsevier Inc.

Basic Pattern Matching Calculi: a Fresh View on Matching Failure

Abstract. We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained mod-elling of non-strict pattern matching. Compared with the functional rewriting strategy usually employed to define the operational semantics of pattern matching in non-strict functional programming languages like Haskell or Clean, our pattern matching calculi achieve the same effects using simpler and more local rules. The main device is to embed into expressions the separate syntactic cate-gory of matchings; the resulting language naturally encompasses pattern guards and Boolean guards as special cases. By allowing a confluent reduction system and a normalising strategy, these pattern matching calculi provide a new basis for operational semantics of non-strict programming languages and also for implemen-tations.

Differential Regulation of Cutaneous Oncoprotein HPVE6 by wtp53, Mutant p53R248W and ΔNp63α is HPV Type Dependent

UV exposure and p53 mutations are major factors in non-melanoma skin cancer, whereas a role for HPV infections has not been defined. Previous data demonstrated the wtp53-mediated degradation of cutaneous HPV20E6 by caspase-3. ΔNp63α and hot-spot mutant p53R248W conveyed a protective effect on HPV20E6 under these conditions. We demonstrate a differential regulation by wtp53 of the E6 genes of cutaneous types HPV4, HPV5, HPV7, HPV27, HPV38, HPV48, HPV60 and HPV77. Caspase- or proteasome-mediated down-regulation was HPV type dependent. Mutant p53R248W up-regulated expression of all these E6 proteins as did ΔNp63α except for HPV38E6 which was down-regulated by the latter. None of these cellular proteins affected HPV41E6 expression. Ectopic expression of both mutp53R248W and ΔNp63α in the normal NIKS keratinocyte cell line harbouring endogenous p53 and p63however led to a down-regulation of HPV20E6. We demonstrate that HPV20E6 expression in these cells is modulated by additional, yet unidentified, cellular protein(s), which are not necessarily involved in apoptosis or autophagy. We further demonstrate proliferation of HPV20E6-expressing keratinocytes. Levels of proteins involved in cell cycle control, cyclin-D1, cdk6 and p16INK4a, phosphorylated pRB, as well as c-Jun and p-c-Jun, were all increased in these cells. HPV20E6 did not compete for the interaction between p16INK4a with cyclin-D1 or cdk6. Phosphorylation of pRB in the HPV20E6 expressing cells seems to be sufficient to override the cytokenetic block induced by the p16INK4a/pRB pathway. The present study demonstrates the diverse influence of p53 family members on individual cutaneous HPVE6 proteins. HPV20E6 expression also resulted in varying protein levels of factors involved in proliferation and differentiation

A framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language CLEAN

Contains fulltext : 111083.pdf (author's version ) (Open Access)CSN '94 : Computing Science in the Netherlands, Jaarbeurs Utrecht, November 21-22, 199

The ins and outs of Clean I/O

Contains fulltext : 111084.pdf (author's version ) (Open Access