Programmers can often improve the performance of their programs by reducing heap
allocations: either by allocating on the stack or reusing existing memory in-place. However …

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 …

We propose algebraic protocols that enable the definition of protocol templates and session
types analogous to the definition of domain-specific types with algebraic datatypes …

Typestate systems are notoriously complex as they require sophisticated machinery for
tracking aliasing. We propose a new, transition-oriented foundation for typestate in the …

Destination-passing style programming introduces destinations, which represent the
address of a write-once memory cell. Those destinations can be passed as function …

Session types provide guarantees about concurrent behaviour and can be understood
through their correspondence with linear logic, with propositions as sessions and proofs as …

Abstract Der Lean 4 Theorembeweiser, welcher auch als vollwertige Programmiersprache
verwendbar ist, implementiert eine auf Referenzzählung basierende Optimierung, die das …