Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a si...

Relative monads (Altenkirch, Chapman, and Uustalu 2010) are a recent generalisation of ordinary monads to cover similar structures where the underlying functor need not be an endofunctor. Our interest in this generalisation was triggered by some structures from programming theory that, in many ways, are strikingly similar to monads (even respecting the same laws), have similar programming appli...

The Sig programming language is a total functional, clocked synchronous data-flow language. Its core has been designed to admit concise coalgebraic semantics. Universal coalgebra is an expressive theoretical framework for behavioral semantics, but traditionally phrased in abstract categorical language, and generally considered inaccessible. In the present paper, we rephrase the coalgebraic conc...

The use of microcontrollers in beginning programming classes has been found to increase student learning and enthusiasm. Microcontroller programming has been successfully used in advanced undergraduate courses as a way to reinforce previous learning and to practice design, and in beginning undergraduate courses to introduce basic programming concepts in an engaging and relevant manner. Based on...

As processing and time requirements of computer systems increase over borders of single processor architectures, it is becoming more and more attractive to use distributed computing with additional real-time capabilities. In several cases, traditional programming languages have become insufficient to build distributed systems easily, especially when real-time issues and basic software quality f...

Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, even though their applications are often conceptually simple. We address this problem by bringing the BASIC programming language to sensor networks. BASIC has proven highly successful in the past in allowing even childre...

Lego company created a set called Robotic Invention System as a kind of Mindstorm set. This system helps to understand the technology of both robot and programming language. It also improves creativeness by building and controlling the robot we make. This paper will introduce basic idea of controlling the RCX(Programmable Lego Block) in C language. Also, this paper will show different idea of t...