julia code https://github.com/jamii/imp/ https://www.cs.purdue.edu/homes/rompf/papers/rompf-icfp15.pdf