Hyperstream processing systems: nonstandard modeling of continuous-time signals.

Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo

Browse the full POPL paper archive.