fsharp/fsfoundation — pull request #251 by mansky1 (2014-05-25 12:43:02+00:00)
Title: Add description of our GRAPHITE 14 paper

We used F# with Z3 integration to define a new domain-specific language for specifying compiler transformations across multiple intermediate languages.