Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. An intensional language is both a programming language and, at the same time, a formal system based on intensional semantics. It provides users with context-switching operators which allow values from different contexts to be combined without explicit context manipulation. Plane Lu...

Exception handling is widely regarded as a necessity in programming languages today, and almost every programming language currently used for professional software development supports some form of it. However, spreadsheet systems, which may be the most widely used type of “programming language” today in terms of number of users using it to create “programs” (spreadsheets), have traditionally h...

Web services offer a more reliable and efficient way to access online data than scraping web pages. However, interacting with web services to retrieve data often requires people to write a lot of code. Moreover, many web services return data in complex hierarchical structures that make it difficult for people to perform any further data manipulation. We developed Gneiss, a tool that extends the...