The reactive engine for modular transducers

2006

Gérard Huet, Benoît Razet

in: Algebra, meaning, and computation, Berlin,