Login / Signup

A higher-order extension for imperative synchronous languages.

Eric VecchiéJean-Pierre TalpinSébastien Boisgérault
Published in: SCOPES (2010)
Keyphrases