Foundations for programming languages | lit.salon