@inproceedings{Ko-algOrn, title = "Relational algebraic ornaments", author = "Hsiang-Shang Ko and Jeremy Gibbons", year = "2013", booktitle = "Dependently Typed Programming", publisher = "ACM", series = "DTP'13", url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf", doi = "10.1145/2502409.2502413", }