Safe functional reactive programming through dependent types.

Neil Sculthorpe, Henrik Nilsson

Browse the full ICFP paper archive.