Synchronous System Design with Quantitative Types.

Rui Chen, Ingo Sander

Browse the full SETTA paper archive.