Skip to content

Functional reactive programming with liveness guarantees.

Alan Jeffrey

VenueAICFP
Year2013
ProceedingsICFP

Browse the full ICFP paper archive.