Green, Lumsdaine, Ross, Selinger, Valiron, 2013. Quipper 48.. https://doi.org/10.1145/2499370.2462177