Ziggurat was presented to the International Conference on Functional Programming 2006. Download the paper and slides on the documentation page.