TY  - RPRT
TI  - Representations of Stream Processors Using Nested Fixed Points
AU  - Neil Ghani
AU  - Peter Hancock
AU  - Dirk Pattinson
PY  - 2009
DO  - 10.2168/lmcs-5(3:9)2009
UR  - https://arxiv.org/abs/0905.4813
ID  - 0905.4813
ER  -