IRISA, Rennes. Robust source coding, joint source/channel codes. Publications, resources, teaching.

A competition on Grammatical Inference.

An object oriented design framework for programming distributed memory parallel computers. Publications bibliography.

A partial evaluator for a pure (side effect free) subset of Scheme, written primarily by Charles Consel. Some of its main features are polyvariant binding-time analysis, treatment of higher-order functions and partially static data structures, colored...

For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters.