Sign in

Functional reactive programming with liveness guarantees.

Alan Jeffrey
Published in: ICFP (2013)
Keyphrases