Dyck reachability is the standard formulation of a large domain of static analyses, as it
achieves the sweet spot between precision and efficiency, and has thus been studied …

Session types provide a typing discipline for structured communication on bidirectional
channels. Context-free session types overcome the restriction to tail recursive protocols …

A fundamental problem in refinement verification is to check that the language of behaviors
of an implementation is included in the language of the specification. We consider the …

Fluent API is an object-oriented pattern for elegant APIs and embedded DSLs. A smart fluent
API can enforce the API protocol or DSL syntax at compile time. Since fluent API …

This is a study of the computing power of the subtyping machine behind Kennedy and
Pierce's nominal subtyping with variance. We depict the lattice of fragments of Kennedy and …

PL researchers have a profound understanding of automata theory but fail to grasp the
subtleties and nuances of the type systems used in modern programming languages. My …

Context-free session types provide a typing discipline for recursive structured
communication protocols on bidirectional channels. They overcome the restriction of regular …

Numerous digital platforms are growing at a rate of three new members per second. With
such rapid growth of users, the infrastructure must be able to expand in a correspondingly …

Zahlreiche digitale Plattformen wachsen mit einer Rate von drei neuen Mitgliedern pro
Sekunde. Bei solch rasantem Wachstum von Nutzern muss die Infrastruktur entsprechend …

Modern software design practice implies widespread use in the development of ready-made
components, usually designed as external libraries. The undoubted advantages of reusing …