We critically reassess a conceptual model here, dealing with the potential effect of plant diversity on climate– vegetation feedback, and we provide an improved version adjusted to plant types that prevailed during the African Humid Period (AHP). Our work contributes to the understanding of the timing and abruptness of vegetation decline at the end of the AHP, investigated by various working gr...

Imperative session types provide an imperative interface to session-typed communication. In such interface, channel references are first-class objects with operations that change the typestate of channel. Compared functional type APIs, program structure is simpler at surface, but required model current state communication throughout. Following early work explored approach, a significant body on...

Abstract. Wildfire is the most common disturbance type in boreal forests and can trigger significant changes forest composition. Waterlogging peatlands determines degree of tree cover depth burnt horizon associated with wildfires. However, interactions between peatland moisture, vegetation composition flammability, fire regime forested Eurasia remain largely unexplored, despite their huge exten...

We add functional continuations and prompts to a language with an ML-style type system. The operators extend and simplify the control operators in Standard ML of New Jersey (SML/NJ) and Scheme, and can be themselves used to implement (simple) exceptions and references. We prove that well-typed terms never produce run-time type errors, and give a module for implementing functional continuations ...