frenetic-lang/frenetic — pull request #109 by arjunguha (2013-07-23 16:47:19+00:00)
Title: Some hacks by Spiros

The Frenetic system paper has a new author.