Ownership and borrowing systems, designed to enforce safe memory management without
the need for garbage collection, have been brought to the fore by the Rust programming …

Graded type systems are a class of type system for fine-grained quantitative reasoning about
data-flow in programs. Through the use of resource annotations (or grades), a programmer …

Programming with versions is a paradigm that allows a program to use multiple versions of a
module so that the programmer can selectively use functions from both older and newer …

In functional programming, regular types are a subset of algebraic data types formed from
products and sums with their respective units. One can view regular types as forming a …

Graded types are a class of resourcefultypes which allow for finegrained quantitative
reasoning about data-flow in programs. Tracing their roots from linear types, the use of …

One of the problems currently confronting software developers is the cost of maintaining
dependent packages up-to-date. While updates bring many improvements, they can also …