id: f8305a27-567e-4f42-93eb-2c8171daebe0
url: http://web.archive.org/web/20120220114931/http://www.tom.sfc.keio.ac.jp/~hagino/codat.pdf
name: Codatatypes in ML (programming, paper)