Skip to content

A higher-order extension for imperative synchronous languages.

Eric Vecchi, Jean-Pierre Talpin, Sbastien Boisgrault

VenueCSCOPES
Year2010
ProceedingsSCOPES

Browse the full SCOPES paper archive.