An Ultrametric Model of Reactive Programming (2010)

by Neelakantan R. Krishnaswami, Nick Benton