Programming languages often include specialized syntax for common datatypes (eg lists)
and some also build in support for specific specialized datatypes (eg regular expressions) …

The principle of least authority states that each component of the system should be given
authority to access only the information and resources that it needs for its operation. This …

Programming efficient distributed, concurrent systems requires new abstractions that go
beyond traditional sequential programming. But programmers already have trouble getting …

Path dependent types have long served as an expressive component of the Scala
programming language. They allow for the modelling of both bounded polymorphism and a …

This paper proposes a fluent API generator for Scala, Haskell, and C++. It receives a
grammar definition and generates a code skeleton of the library in the host programming …

Abstract Subtyping of Bounded Polymorphism has long been known to be undecidable
when coupled with contra-variance. While decidable forms of bounded polymorphism exist …

Context: The algorithms for generating a safe fluent API are actively studied these years. A
safe fluent API is the fluent API that reports incorrect chaining of the API methods as a type …

Modularity-the partitioning of software into units of functionality that interact with each other
via interfaces-has been the mainstay of software development for half a century. In case of …

With the increasing popularity of plugin-based software systems, ensuring the security of
plugins has become a critical concern. When users install plugins or browse websites with …

The security of a software system relies on the principle of least privilege, which says that
each software component must have only the privilege necessary for its execution and …