Coroutines A Programming Methodology, a Language Design and an Implementation

TEMPO A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues

A Study in String Processing Languages

Trace Theory and VLSI Design

An APL Compiler

Report on the Programming Language PLZ/SYS

Towards a Formal Description of Ada

A Concurrent Pascal Compiler for Minicomputers

ML with Concurrency Design, Analysis, Implementation, and Application

Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Conclog: A Methodological Approach to Concurrent Logic Programming

Description