Programming language communities often have repositories of code to which the community submits libraries and from which libraries are downloaded and installed. In communities where many implementations of the language exist, or where the community uses a number of language varieties, many such repositories can exist, each with their own toolset to access them. These diverse communities often h...

A widely used property of Prolog is that it is possible to write Prolog programs to construct and manipulate other Prolog programs in a very general manner. Unfortunately , this property is not carried over to richer languages such as CLP(R) { the manipulation of CLP(R) programs in CLP(R) is quite limited. The reason is that the equality of terms in CLP(R) is not based on their syntactic struct...

It has previously been suggested that there is a need for more language focused science instruction, especially in linguistically diverse classrooms, where many students are second learners. But it also teachers may feel uncertainty about how to teach ways promote learning of both subject matter and language. Previous studies have revealed the science, written used create certain meaning. Resea...

We give an intuitionistic view of Seely’s interpretation of Martin-Löf’s intuitionistic type theory in locally cartesian closed categories. The idea is to use Martin-Löf type theory itself as metalanguage, and E-categories, the appropriate notion of categories when working in this metalanguage. As an E-categorical substitute for the formal system of Martin-Löf type theory we use E-categories wi...

XML is a subset of SGML (ISO 8879), the international standard metalanguage for text markup systems. It has been widely used in data representation and interchange formats. This research proposes to investigate the use of XML for musical score representation.

These are lecture notes for a 1–semester undergraduate course (in computer science, mathematics, physics, engineering, chemistry or biology) in applied categorical metalanguage. The only necessary background for comprehensive reading of these notes are first-year calculus and linear algebra.