Programming is central to computing. It is both the practical tool that actually puts the power
of computing to work and a source of intellectual stimulation and beauty. Therefore …

There are several different gradual typing semantics, reflecting different trade-offs between
performance and type soundness guarantees. Notably absent, however, are any data on …

Most programming languages have been designed by committees or individuals. What
happens if, instead, we throw open the design process and let lots of programmers weigh in …

Many RDF systems support reasoning with Datalog rules via materialisation, where all
conclusions of RDF data and the rules are precomputed and explicitly stored in a …

Abstract The size of Common Table Expressions (CTEs) in PostgreSQL 13.4 can grow
arbitrarily and with it the runtime of the CTE scan. However there is no option for a CTE …

Abstract machines are a useful tool in understanding how a program's complex high-level
language representation can be broken down to low-level execution steps. They feature …