Clocks as first class abstract types
Univ. Paris 6, LIP6, theme SPI
8 rue du Capitaine Scott, 75015 Paris, FRANCE

Clocks in synchronous data-flow languages are the natural way to define several time scales in reactive systems. They play a fundamental role during the specification of the system and are largely used in the compilation process to generate efficient sequential code. Based on the formulation of clocks as dependent types, I will present a simpler clock calculus reminiscent to ML type systems with first order abstract types a la Laufer & Odersky. This system provides clock inference, it shares efficient implementations of ML type systems and appears to be expressive enough for many real applications.

Slides (.ps)