Priority Sesh is a library for session-typed communication in Linear Haskell which offers
strong compile-time correctness guarantees. Priority Sesh offers two deadlock-free APIs for …

Deep learning, despite its remarkable achievements, is still a young field. Like the early
stages of many scientific disciplines, it is marked by the discovery of new phenomena, ad …

Imprecise probability is concerned with uncertainty about which probability distributions to
use. It has applications in robust statistics and machine learning. We look at programming …

Deductive verification techniques based on program logics (ie, the family of Floyd-Hoare
logics) are a powerful approach for program reasoning. Recently, there has been a trend of …

We define a general class of dependent type theories, encompassing Martin-L\" of's
intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to …

We describe a new concrete approach to giving predictable error locations for sequential
(flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on …

GATE: Gradual Effect Types | SpringerLink Skip to main content Advertisement SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart Book cover …

We introduce a generalization of Girard et al.'s BLL called GBLL (and its affine variant
GBAL). It is designed to capture the core mechanism of dependency in BLL, while it is also …

We study fibrations arising from indexed categories of the following form: fix a functor F: A ˆ X
ÝÑ X, so that to each FA “FpA, q one can associate a category of algebras AlgXpFAq–or …

Dynamical skew braces are known to produce solutions to the quiver-theoretic Yang--Baxter
equation. Under a technical hypothesis, we prove that these solutions are braided groupoids …