We present a type system combining subtyping and ML-style parametric polymorphism. Unlike
previous work, our system supports type inference and has compact principal types. We …

Algebraic effects and handlers provide a modular abstraction for expressing effectful computation,
allowing the programmer to separate the expression of an effectful computation from …

2017 marks the 60th anniversary of Krebs’ seminal paper on the glyoxylate shunt (and
coincidentally, also the 80th anniversary of his discovery of the citric acid cycle). Sixty years on, …

Describing a problem using classical linear algebra is a very well-known problem-solving
technique. If your question can be formulated as a question about real or complex matrices, …

Transcriptomics technologies are the techniques used to study an organism’s transcriptome
, the sum of all of its RNA transcripts . The information content of an organism is recorded in …

Malaria erythrocyte binding proteins use the Duffy blood group antigen (Plasmodium vivax
and Plasmodium knowlesi) and sialic acid (Plasmodium falciparum) on the erythrocyte …

Gliotoxin biosynthesis is encoded by the gli gene cluster in Aspergillus fumigatus. The
biosynthesis of gliotoxin is influenced by a suite of transcriptionally-active regulatory proteins and …

The ability to switch between different lifestyles allows bacterial pathogens to thrive in diverse
ecological niches 1 , 2 . However, a molecular understanding of their lifestyle changes …

This paper reports measurements of final-state proton multiplicity, muon and proton kinematics,
and their correlations in charged-current pionless neutrino interactions, measured by the …

The human malaria parasite Plasmodium falciparum demonstrates variability in its dependence
upon erythrocyte sialic acid residues for invasion. Some lines of P. falciparum invade …