Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Evaluation Research and Institutional Pressures: Challenges in Public-Nonprofit Contracting

This article examines the connection between program evaluation research and decision-making by public managers. Drawing on neo-institutional theory, a framework is presented for diagnosing the pressures and conditions that lead alternatively toward or away the rational use of evaluation research. Three cases of public-nonprofit contracting for the delivery of major programs are presented to clarify the way coercive, mimetic, and normative pressures interfere with a sound connection being made between research and implementation. The article concludes by considering how public managers can respond to the isomorphic pressures in their environment that make it hard to act on data relating to program performance.This publication is Hauser Center Working Paper No. 23. The Hauser Center Working Paper Series was launched during the summer of 2000. The Series enables the Hauser Center to share with a broad audience important works-in-progress written by Hauser Center scholars and researchers

Governance, Coordination and Evaluation: the case for an epistemological focus and a return to C.E. Lindblom

While much political science research focuses on conceptualizing and analyzing various forms of governance, there remains a need to develop frameworks and criteria for governance evaluation (Torfing et al 2012). The post-positivist turn, influential in recent governance theory, emphasizes the complexity, uncertainty and the contested normative dimensions of policy analysis. Yet a central evaluative question still arises concerning the capacity of governance networks to facilitate ‘coordination’. The classic contributions of Charles Lindblom, although pre-dating the contemporary governance literature, can enable further elaboration of and engagement with this question. Lindblom’s conceptualisation of coordination challenges in the face of complexity shares with post-positivism a recognition of the inevitably contested nature of policy goals. Yet Lindblom suggests a closer focus on the complex, dynamically evolving, broadly ‘economic’ choices and trade-offs involved in defining and delivery policy for enabling these goals to be achieved and the significant epistemological challenges that they raise for policy-makers. This focus can complement and enrich both post-positivist scholarship and the process and incentives-orientated approaches which predominate in contemporary political science research on coordination in governance. This is briefly illustrated through a short case study evaluating governance for steering markets towards delivering low and zero carbon homes in England

Doxycycline for Malaria Chemoprophylaxis and Treatment: Report from the CDC Expert Meeting on Malaria Chemoprophylaxis

Doxycycline, a synthetically derived tetracycline, is a partially efficacious causal prophylactic (liver stage of Plasmodium) drug and a slow acting blood schizontocidal agent highly effective for the prevention of malaria. When used in conjunction with a fast acting schizontocidal agent, it is also highly effective for malaria treatment. Doxycycline is especially useful as a prophylaxis in areas with chloroquine and multidrug-resistant Plasmodium falciparum malaria. Although not recommended for pregnant women and children < 8 years of age, severe adverse events are rarely reported for doxycycline. This report examines the evidence behind current recommendations for the use of doxycycline for malaria and summarizes the available literature on its safety and tolerability

Search for Neutral Heavy Leptons Produced in Z Decays

Weak isosinglet Neutral Heavy Leptons ($\nu_m$) have been searched for using data collected by the DELPHI detector corresponding to $3.3\times 10^{6}$ hadronic~Z$^{0}$ decays at LEP1. Four separate searches have been performed, for short-lived $\nu_m$ production giving monojet or acollinear jet topologies, and for long-lived $\nu_m$ giving detectable secondary vertices or calorimeter clusters. No indication of the existence of these particles has been found, leading to an upper limit for the branching ratio $BR($Z$^0\rightarrow \nu_m \overline{\nu})$ of about $1.3\times10^{-6}$ at 95\% confidence level for $\nu_m$ masses between 3.5 and 50 GeV/$c^2$. Outside this range the limit weakens rapidly with the $\nu_m$ mass. %Special emphasis has been given to the search for monojet--like topologies. One event %has passed the selection, in agreement with the expectation from the reaction: %$e^+e^- \rightarrow\ell \bar\ell \nu\bar\nu$. The results are also interpreted in terms of limits for the single production of excited neutrinos

Association between T2-related co-morbidities and effectiveness of biologics in severe asthma

Acknowledgments The authors thank Mr. Joash Tan (BSc, Hons), of the Observational and Pragmatic Research Institute (OPRI), and Ms Andrea Lim (BSc, Hons) of the Observational Pragmatic Research Institute (OPRI) for their editorial and formatting assistance that supported the development of this publication. Funding statement: This study was conducted by the Observational and Pragmatic Research Institute (OPRI) Pte Ltd and was partially funded by Optimum Patient Care Global and AstraZeneca Ltd. AstraZeneca UK LimitedPeer reviewe

Measurement of inclusive π0\pi^{0} production in hadronic Z0Z^{0} decays

An analysis is presented of inclusive \pi^0 production in Z^0 decays measured with the DELPHI detector. At low energies, \pi^0 decays are reconstructed by \linebreak using pairs of converted photons and combinations of converted photons and photons reconstructed in the barrel electromagnetic calorimeter (HPC). At high energies (up to x_p = 2 \cdot p_{\pi}/\sqrt{s} = 0.75) the excellent granularity of the HPC is exploited to search for two-photon substructures in single showers. The inclusive differential cross section is measured as a function of energy for {q\overline q} and {b \bar b} events. The number of \pi^0's per hadronic Z^0 event is N(\pi^0)/ Z_{had}^0 = 9.2 \pm 0.2 \mbox{(stat)} \pm 1.0 \mbox{(syst)} and for {b \bar b}~events the number of \pi^0's is {\mathrm N(\pi^0)/ b \overline b} = 10.1 \pm 0.4 \mbox{(stat)} \pm 1.1 \mbox{(syst)} . The ratio of the number of \pi^0's in b \overline b events to hadronic Z^0 events is less affected by the systematic errors and is found to be 1.09 \pm 0.05 \pm 0.01. The measured \pi^0 cross sections are compared with the predictions of different parton shower models. For hadronic events, the peak position in the \mathrm \xi_p = \ln(1/x_p) distribution is \xi_p^{\star} = 3.90^{+0.24}_{-0.14}. The average number of \pi^0's from the decay of primary \mathrm B hadrons is found to be {\mathrm N} (B \rightarrow \pi^0 \, X)/\mbox{B hadron} = 2.78 \pm 0.15 \mbox{(stat)} \pm 0.60 \mbox{(syst)}