gasche/popl2014-papers — pull request #25 by kjgorman (2014-01-22 20:29:28+00:00)
Title: Add long version of Fair Reactive Programming

Includes the full reduction steps and proofs referenced from pages 8 and 10 of the short version. 'Official' link from authors homepage (http://cs.mcgill.ca/~acave1/)